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

Opis bibliograficzny
1. autor:	Клини С. К. Стефен К.
Język:	rosyjski
Wydane:	Москва, Изд-во иностранной литературы, 1957
Hasła przedmiotowe:	математика метаматематика математическая логика рекурсивные функции теория множеств формализм формальные системы высказывания исчисление предикаты формальная арифметика машины Тьюринга теорема Генцена непротиворечивость
Format:	Książka
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=119557

Opis
Opis fizyczny:	526 с. ил.

Podobne zapisy