Record ID | ia:mathematicalintr00ende |
Source | Internet Archive |
Download MARC XML | https://archive.org/download/mathematicalintr00ende/mathematicalintr00ende_marc.xml |
Download MARC binary | https://www.archive.org/download/mathematicalintr00ende/mathematicalintr00ende_meta.mrc |
LEADER: 02893cam 2200709 4500
001 ocm00370402
003 OCoLC
005 20100510152027.0
008 720630s1972 nyua 001 0 eng
010 $a 78182659
040 $aDLC$cDLC$dMUQ$dNLGGC$dBAKER$dYDXCP$dWPG$dZWZ$dUKV3G
015 $aB7220090
019 $a59103648
020 $a0122384504
020 $a9780122384509
035 $a(OCoLC)370402$z(OCoLC)59103648
050 0 $aQA9$b.E54 1972
082 00 $a511/.3$218
084 $a31.10$2bcl
100 1 $aEnderton, Herbert B.
245 12 $aA mathematical introduction to logic$c[by] Herbert B. Enderton.
260 $aNew York,$bAcademic Press$c[1972]
300 $axiii, 295 p.$billus.$c24 cm.
504 $aIncludes index.
650 0 $aLogic, Symbolic and mathematical.
650 6 $aLogique symbolique et mathématique.
650 17 $aLogica.$2gtt
650 7 $aLogique symbolique et mathématique.$2ram
650 7 $adécidabilité.$2inriac
650 7 $alogique 1er ordre.$2inriac
650 7 $alogique mathématique.$2inriac
650 7 $alogique séquentielle.$2inriac
938 $aBaker & Taylor$bBKTY$c54.95$d54.95$i0122384504$n0000450325$sactive
938 $aYBP Library Services$bYANK$n56151
952 $a370402$zDLC$bLIBRARY OF CONGRESS$hFull$iLCC$kDDC$u20100213
952 $a127419092$zIPS$bINSTITUTE FOR ADVAN STUDY LIBR$hFull$iLCC$kDDC$u20070515
952 $a130575756$zYUS$bYALE UNIV LIBR$hFull$iLCC$u20070518
952 $a134495072$zRBN$bBROWN UNIV$hOther$iLCC$kDDC$u20070524
952 $a173534977$zZZX$bUNIV OF SOUTHERN CALIF, CALL LAW LIBR$hFull$iLCC$u20071001
952 $a177351444$zPUL$bPRINCETON UNIV$hFull$iLCC$kDDC$u20071027
952 $a182878888$zXOX$bPALO ALTO RES CTR$hFull$iLCC$kDDC$u20071206
952 $a187630109$zPAU$bUNIV OF PENNSYLVANIA$hFull$iLCC$kDDC$u20080517
952 $a213969944$zCUY$bUNIV OF CALIFORNIA, BERKELEY$hFull$iLCC$kDDC$u20080326
952 $a224157536$zCLS$bHARVARD UNIV, CABOT SCI LIBR$hFull batch$iLCC$kDDC$u20080415
952 $a232409793$zMCS$bHARVARD UNIV$hLess-than-full batch$iLCC$kDDC$u20090719
952 $a232409794$zMCS$bHARVARD UNIVERSITY$hFull batch$iLCC$kDDC$u20080621
952 $a262937725$zCUD$bCAMBRIDGE UNIV$hFull$iLCC$kDDC$u20081021
952 $a273299026$zSTF$bSTANFORD UNIV LIBR$hFull$iLCC$kDDC$u20081118
952 $a487901067$zN15$bNEW YORK UNIV, GROUP BATCHLOAD$hFull; not ex.$iLCC$kDDC$u20091213
029 1 $aNLGGC$b784536236
029 1 $aNLGGC$b200898434
029 1 $aNZ1$b2618110
029 1 $aAU@$b000000088558
029 1 $aAU@$b000021702185
029 1 $aZWZ$b014930625
029 1 $aUNITY$b056148402
029 1 $aUKBED$b0122384504
029 1 $aUKGRN$b0122384504
029 1 $aUKWIG$b0122384504
029 1 $aUKHCL$b0122384504
994 $aZ0$bPMR
948 $hNO HOLDINGS IN PMR - 754 OTHER HOLDINGS