Record ID | ia:firstorderlogic0000smul_r5h6 |
Source | Internet Archive |
Download MARC XML | https://archive.org/download/firstorderlogic0000smul_r5h6/firstorderlogic0000smul_r5h6_marc.xml |
Download MARC binary | https://www.archive.org/download/firstorderlogic0000smul_r5h6/firstorderlogic0000smul_r5h6_meta.mrc |
LEADER: 00983cam a2200241 a 4500
001 94039736
003 DLC
005 20070113080952.0
008 941006r19951968nyu b 001 0 eng
010 $a 94039736
020 $a0486683702 (pbk.)
040 $aDLC$cDLC$dDLC
050 00 $aQA9$b.S57 1995
082 00 $a511.3$220
100 1 $aSmullyan, Raymond M.
245 10 $aFirst-order logic /$cRaymond M. Smullyan.
260 $aNew York :$bDover,$cc1995.
300 $axii, 158 p. ;$c22 cm.
500 $a"An unabridged, corrected republication of the work first published by Springer-Verlag, New York, 1968 ('Band 43' of the series 'Ergebnisse der Mathematik und ihrer Grenzgebiete')"--T.p. verso.
504 $aIncludes bibliographical references (p. [155]) and index.
650 0 $aFirst-order logic.
856 41 $3Table of contents$uhttp://www.loc.gov/catdir/toc/dover031/94039736.html
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0705/94039736-d.html