| Record ID | ia:monadicsecondord0000buch_q2h8 |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/monadicsecondord0000buch_q2h8/monadicsecondord0000buch_q2h8_marc.xml |
| Download MARC binary | https://www.archive.org/download/monadicsecondord0000buch_q2h8/monadicsecondord0000buch_q2h8_meta.mrc |
LEADER: 03439cam 2200889 4500
001 ocm00707566
003 OCoLC
005 20201005123747.0
008 730913s1973 gw b 000 0 eng
010 $a 73082358
040 $aDLC$beng$cDLC$dMUQ$dNLGGC$dBTCTA$dGBVCP$dDEBBG$dZWZ$dDEBSZ$dIAD$dSNU$dHEBIS$dOCLCQ$dOCLCO$dOCLCF$dOCLCQ$dUBA$dSYB$dOCLCQ$dQE2$dDHA$dOCLCQ$dCPO$dIUL$dOCLCO$dCSA$dOCLCO$dDCHUA$dHUELT$dOCLCO$dOCLCQ$dOCLCO$dOCLCQ
015 $a73,A43,0735$2dnb
016 7 $a730338967$2DE-101
019 $a36943240$a502372002
020 $z3387063455$q(New York)
020 $a3540063455
020 $a9783540063452
020 $a0387063455
020 $a9780387063454
035 $a(OCoLC)707566$z(OCoLC)36943240$z(OCoLC)502372002
050 00 $aQA3$b.L28 no. 328$aQA9.65
082 00 $a510/.8 s$a511/.3
084 $a31.10$2bcl
084 $a31.11$2bcl
084 $a31.14$2bcl
084 $a31.40$2bcl
084 $a31.02$2bcl
084 $a03B25$2msc
084 $a03B15$2msc
084 $a19a$2sdnb
100 1 $aBüchi, J. Richard.
245 14 $aThe monadic second order theory of all countable ordinals$c[by] J. Richard Büchi [and] Dirk Siefkes.
260 $aBerlin,$aNew York,$bSpringer,$c1973.
300 $avi, 217 pages$c26 cm
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aDecidable theories,$v2
490 1 $aLecture notes in mathematics (Berlin)$v328
504 $aIncludes bibliographical references.
505 0 $aBüchi, J.R. The monadic second order theory of [omega symbol]₁. -- Büchi, J.R. and Siefkes, D. Axiomatization of the monadic second order theory of [omega symbol]₁.
650 0 $aGödel's theorem.
650 0 $aModel theory.
650 6 $aGödel, Théorème de.
650 6 $aModèles, Théorie des.
650 7 $aGödel's theorem.$2fast$0(OCoLC)fst00949806
650 7 $aModel theory.$2fast$0(OCoLC)fst01024368
650 7 $aAbzähltheorie$2gnd
650 7 $aMathematische Logik$2gnd
650 7 $aOrdinalzahl$2gnd
650 7 $aLogica Matematica.$2larpcal
650 7 $aGödel, Théorème de.$2ram
650 7 $aModèles, Théorie des.$2ram
650 07 $aAbzähltheorie.$2swd
650 07 $aMathematische Logik.$2swd
650 07 $aOrdinalzahl.$2swd
700 1 $aSiefkes, Dirk,$eauthor.
830 0 $aLecture notes in mathematics (Springer-Verlag).$pDecidable theories ;$v2.
830 0 $aLecture notes in mathematics (Springer-Verlag) ;$v328.
856 41 $3Table of contents$uhttp://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1939102&custom_att_2=simple_viewer
856 41 $3Table of contents$uhttp://www.gbv.de/dms/hbz/toc/ht000900666.pdf
856 41 $uhttp://www.springerlink.com/openurl.asp?genre=issue&issn=0075-8434&volume=328
856 4 $3Cover$qapplication/pdf$uhttp://swbplus.bsz-bw.de/bsz011058013cov.htm$v20110329091936
938 $aBaker and Taylor$bBTCP$n73082358 //r85
029 1 $aAU@$b000000523115
029 1 $aAU@$b000009589388
029 1 $aAU@$b000045077954
029 1 $aDEBBG$bBV022048156
029 1 $aDEBSZ$b011058013
029 1 $aGBVCP$b020694253
029 1 $aGBVCP$b022830952
029 1 $aHEBIS$b074858130
029 1 $aNLGGC$b783967357
029 1 $aNZ1$b12199292
029 1 $aNZ1$b3081962
994 $aZ0$bP4A
948 $hNO HOLDINGS IN P4A - 296 OTHER HOLDINGS