| Record ID | marc_loc_2016/BooksAll.2016.part29.utf8:206887885:990 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part29.utf8:206887885:990?format=raw |
LEADER: 00990cam a22002774a 4500
001 2002070322
003 DLC
005 20080313101948.0
008 020423s2002 ne a b 001 0 eng
010 $a 2002070322
020 $a1402006047 (hc : alk. paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aBC199.M6$bF59 2002
082 00 $a160$221
100 1 $aFitting, Melvin,$d1942-
245 10 $aTypes, tableaus, and Gödel's God /$cMelvin Fitting.
260 $aDordrecht ;$aBoston :$bKluwer Academic,$cc2002.
300 $axv, 180 p. :$bill. ;$c25 cm.
440 0 $aTrends in logic ;$vv. 12
504 $aIncludes bibliographical references (p. 173-177) and index.
650 0 $aModality (Logic)
650 0 $aGod$xProof, Ontological.
600 10 $aGödel, Kurt$xReligion.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0826/2002070322-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0826/2002070322-t.html