MARC record from Internet Archive

LEADER: 02200cam 2200481 a 4500
001 ocm36582965
003 OCoLC
005 20211011002725.0
008 970320s1996 nju b 001 0 eng c
040 $aFDK$beng$cFDK$dINU$dUKM$dVPI$dUMC$dBAKER$dLVB$dYDXCP$dOCLCG$dBDX$dOCLCF$dOCLCO$dOCLCQ$dTHHCU$dOCLCQ$dGZM$dOCLCQ$dLHL$dIL4J6$dOCLCO$dZKM
015 $aGB9763659$2bnb
015 $aGB97-63659
019 $a992249724$a1139380410
020 $a0691029067
020 $a9780691029061
035 $a(OCoLC)36582965$z(OCoLC)992249724$z(OCoLC)1139380410
042 $apcc
050 4 $aBC135$b.C42 1996
082 04 $a511.3$221
100 1 $aChurch, Alonzo,$d1903-1995.
245 10 $aIntroduction to mathematical logic /$cby Alonzo Church.
260 $aPrinceton, N.J. :$bPrinceton University Press,$c1996.
300 $aix, 378 pages ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aPrinceton landmarks in mathematics and physics
504 $aIncludes bibliographical references and indexes.
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.
505 0 $aThe propositional calculus -- The propositional calculus (continued) -- Functional calculi of first order -- The pure functional calculus of first order -- The pure functional calculus of first order -- Functional calculi of second order.
650 0 $aLogic, Symbolic and mathematical.
650 6 $aLogique symbolique et mathématique.
650 7 $aLogic, Symbolic and mathematical.$2fast$0(OCoLC)fst01002068
650 7 $aLogic, Symbolic and mathematical.$2nli
650 7 $aLogique symbolique et mathématique.$2ram
830 0 $aPrinceton landmarks in mathematics and physics.
938 $aBaker & Taylor$bBKTY$c55.00$d55.00$i0691029067$n0002861101$sactive
938 $aBrodart$bBROD$n49835807$c$25.95
938 $aYBP Library Services$bYANK$n1281527
029 1 $aAU@$b000042321036
029 1 $aUNITY$b042670713
994 $aZ0$bP4A
948 $hHELD BY P4A - 104 OTHER HOLDINGS