Введение в математическую логику: монография; пер. с англ.; Т. 1

Manylion Llyfryddiaeth
Prif Awdur:	Чёрч А.
Iaith:	Rwseg
Cyhoeddwyd:	Москва, Изд-во иностранной литературы, 1960
Pynciau:	Математическая логика математика логика пропозициональное исчисление функциональные исчисления формальная логика монографии
Fformat:	Llyfr
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=136727

MARC


LEADER	00000nam0a2200000 4500
001	136727
005	20231101220634.0
035			\|a (RuTPU)RU\TPU\book\148190
090			\|a 136727
100			\|a 20080426d1960 km y0rusy50 ca
101	1		\|a rus \|c eng
102			\|a RU
105			\|a y z 001zy
200	1		\|a Введение в математическую логику \|h Т. 1 \|e монография \|e пер. с англ. \|f А. Чёрч
210			\|a Москва \|c Изд-во иностранной литературы \|d 1960
215			\|a 486 с.
320			\|a Предм.-имен. указ.: с. 461-481
606	1		\|a Математическая логика \|2 stltpush \|3 (RuTPU)RU\TPU\subj\41205 \|9 61013
610	1		\|a математика
610	1		\|a логика
610	1		\|a пропозициональное исчисление
610	1		\|a функциональные исчисления
610	1		\|a формальная логика
610	1		\|a монографии
675			\|a 510.6 \|v 3
700		1	\|a Чёрч \|b А.
801		1	\|a RU \|b 63413507 \|c 20080426 \|g PSBO
801		2	\|a RU \|b 63413507 \|c 20210603 \|g PSBO
942			\|c BK