Введение в метаматематику, пер. с англ.

Dettagli Bibliografici
Autore principale:	Клини С. К. Стефен К.
Lingua:	russo
Pubblicazione:	Москва, Изд-во иностранной литературы, 1957
Soggetti:	математика метаматематика математическая логика рекурсивные функции теория множеств формализм формальные системы высказывания исчисление предикаты формальная арифметика машины Тьюринга теорема Генцена непротиворечивость
Natura:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=119557

Documenti analoghi