Введение в теорию моделей и метаматематику алгебры

Введение в теорию моделей и метаматематику алгебры

Основное содержание книги составляют известная теорема Гёделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления...

Szczegółowa specyfikacja

Zapisane w:

Opis bibliograficzny
1. autor:	Робинсон А.
Format:	Książka
Wydane:	NCFU
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!


LEADER	01001nam a2200169 i 4500
001	F.NCFU.000295.07EEBC
005	20140410175024.0
200			\|a Введение в теорию моделей и метаматематику алгебры \|f Пер. с анг. А.Б. Волынского
210			\|a М. \|c Наука \|d 1967
215			\|a 374 с.
225			\|a Математическая логика и основания математики
330			\|a Основное содержание книги составляют известная теорема Гёделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления
700		1	\|a Робинсон \|b А.
801		0	\|a RU \|b NCFU \|c 20140410 \|g rcr
801		1	\|2 rusmarc \|a RU \|b NCFU \|c 20140410
899			\|i Р 583 \|j 51
993			\|a 281430 \|b 106429 \|e 287843 \|f 8 \|h 1-65 \|i 800000042036 \|m 1 \|n 38926.536631944444 \|o I