Introduction to mathematical logic /

Библиографические подробности
Главный автор: Church, Alonzo, 1903-
Формат:
Язык:English
Опубликовано: Princeton, N.J. : Princeton University Press, 1996.
Серии:Princeton landmarks in mathematics and physics
Предметы:
LEADER 01537cam a2200373Ia 4500
001 51497
003 OCoLC
005 20230113150057.0
008 970320s1996 nju b 001 0 eng c
015 |a GB97-63659 
020 |a 0691029067 
020 |a 9780691029061 
029 1 |a UKM  |b b9763659 
035 |a (OCoLC)36582965 
040 |a TRMEMSKU 
049 |a TR7VH 
050 0 0 |a BC135   |b .C48 1996 
100 1 |a Church, Alonzo,  |d 1903-  |9 206055 
245 1 0 |a Introduction to mathematical logic /  |c Alonzo Church. 
260 |a Princeton, N.J. :  |b Princeton University Press,  |c 1996. 
300 |a ix, 378 s. ;  |c 24 cm. 
440 0 |a Princeton landmarks in mathematics and physics  |9 178909 
504 |a Bibliyografya ve dizin var. 
500 |a "This is a revised and much enlarged edition of Introduction to mathematical logic, Part I, which was published in 1944 as one of the Annals of mathematics studies"--Preface. 
650 7 |a Logique symbolique et mathématique.  |2 ram  |9 206056 
650 4 |a Logic, Symbolic and mathematical  |x Problems, exercises, etc.  |9 206057 
650 6 |a Logique symbolique et mathématique.  |9 206056 
650 4 |a Mantık,sembolik ve matematiksel.  |9 144549 
650 4 |a Mantık,sembolik ve matematiksel  |x Problemler,alıştırmalar.  |9 206058 
650 0 |9 14725  |a Logic, Symbolic and mathematical 
994 |a C0  |b TR7VH 
942 |2 lcc 
999 |c 44265  |d 44265 
952 |0 0  |1 0  |2 lcc  |4 0  |5 0  |6 BC0135 C48 01996  |7 0  |9 65917  |a MK  |b MK  |c MK  |d 2007-06-11  |e S  |l 1  |o BC135 .C48 1996  |p 0085625  |r 2016-12-10  |t c.1  |w 2007-06-11  |y KT