| Record ID | ia:elementaryinduct0000mosc |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/elementaryinduct0000mosc/elementaryinduct0000mosc_marc.xml |
| Download MARC binary | https://www.archive.org/download/elementaryinduct0000mosc/elementaryinduct0000mosc_meta.mrc |
LEADER: 02737cam 2200745 i 4500
001 ocm01087957
003 OCoLC
005 20221004014528.0
008 741104s1974 ne b 001 0 eng
010 $a 73079100
040 $aDLC$beng$cDLC$dMUQ$dNLGGC$dBTCTA$dNLE$dOG#$dBDX$dGBVCP$dOCLCO$dUKMGB$dOCLCF$dOCLCQ$dDEBSZ$dCNUTO$dUKUOY$dOCLCQ$dHUELT$dOCLCQ$dMM9$dLUN$dIL4J6$dOCLCQ$dOCLCO
015 $aNe74-26
015 $aB7418167
016 7 $a002560845$2Uk
016 7 $a009549783$2Uk
016 7 $aB7408663$2bccb
019 $a622747565$a977463897$a1166968675
020 $a0444105379
020 $a9780444105370
020 $a0720422000
020 $a9780720422009
020 $a0720422809
020 $a9780720422801
035 $a(OCoLC)1087957$z(OCoLC)622747565$z(OCoLC)977463897$z(OCoLC)1166968675
050 00 $aQA9.615$b.M67 1974
055 3 $aQA248.5$bM67
082 00 $a511/.2
084 $a31.10$2bcl
084 $aP 64$2blsrissc
084 $a03C99$2msc
084 $a03D55$2msc
100 1 $aMoschovakis, Yiannis N.
245 10 $aElementary induction on abstract structures /$cYiannis N. Moschovakis.
260 $aAmsterdam :$bNorth-Holland Pub. Co. ;$aNew York :$bAmerican Elsevier Pub. Co.,$c1974.
300 $ax, 218 pages ;$c24 cm
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aStudies in logic and the foundations of mathematics ;$vv. 77
504 $aIncludes bibliographical references (pages 209-212) and index.
540 $aCurrent Copyright Fee: GBP20.00$c0.$5Uk
650 0 $aRecursive functions.
650 0 $aInduction (Mathematics)
650 6 $aInduction (Mathématiques)
650 6 $aFonctions récursives.
650 7 $aInduction (Mathematics)$2fast$0(OCoLC)fst00970742
650 7 $aRecursive functions.$2fast$0(OCoLC)fst01091984
650 7 $aRecursive functions.$2nli
650 7 $aInduction (Mathematics)$2nli
830 0 $aStudies in logic and the foundations of mathematics ;$vv. 77.
856 41 $3Table of contents$uhttp://www.gbv.de/dms/hbz/toc/ht001132277.pdf
856 41 $3Table of contents$uhttp://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1941178&custom_att_2=simple_viewer
938 $aBrodart$bBROD$n26603896$c$30.25
938 $aBaker and Taylor$bBTCP$n73079100$cfl46.80
029 1 $aAU@$b000000520684
029 1 $aAU@$b000040253779
029 1 $aDEBSZ$b004313429
029 1 $aGBVCP$b196891205
029 1 $aHR0$b0720422809
029 1 $aNZ1$b2941775
029 1 $aUKMGB$b002560845
029 1 $aUKMGB$b009549783
029 1 $aZWZ$b016204700
994 $aZ0$bGTX
948 $hNO HOLDINGS IN GTX - 344 OTHER HOLDINGS