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

Bibliographic Details
Main Author:	Клини С. К. Стефен К.
Published:	Москва, Изд-во иностранной литературы, 1957
Subjects:	математика метаматематика математическая логика рекурсивные функции теория множеств формализм формальные системы высказывания исчисление предикаты формальная арифметика машины Тьюринга теорема Генцена непротиворечивость
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=119557

Similar Items