| Record ID | ia:firstorderlogic0000smul |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/firstorderlogic0000smul/firstorderlogic0000smul_marc.xml |
| Download MARC binary | https://www.archive.org/download/firstorderlogic0000smul/firstorderlogic0000smul_meta.mrc |
LEADER: 00813cam 22002650 4500
001 0116301494096
008 681126s1968 ge b 11 eng d
010 $a 68013495
015 $aGDNB***
020 $cunpriced
035 $a(Sirsi) AAL-6839
035 $a22738095.C..
040 $aOPET$beng
046 $aLC
050 0 $aQA9$b.S57
082 $a164
090 0 $aQA 9 .S57$bb
100 1 $aSmullyan, Raymond M.
245 10 $aFirst-order logic$c[by] Raymond M. Smullyan. --
260 $aBerlin ;$aNew York [etc.] :$bSpringer-Verlag,$c1968.
300 $axii, 158 p. ;$c24 cm. --
490 1 $aErgebnisse der Mathematik und ihrer Grenzgebiete,$vBd. 43
504 $aBibliography: p. [156]
650 0 $aLogic, Symbolic and mathematical.
830 0 $aErgebnisse der Mathematik und ihrer Grenzgebiete,$vBd. 43.