| Record ID | harvard_bibliographic_metadata/ab.bib.09.20150123.full.mrc:214259836:950 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.09.20150123.full.mrc:214259836:950?format=raw |
LEADER: 00950pam a22003014a 45e0
001 009210382-0
005 20040122104124.0
008 020423s2002 ne a b 001 0 eng
010 $a 2002070322
015 $aGBA2-42463
020 $a1402006047 (hc : alk. paper)
035 0 $aocm49719340
040 $aDLC$cDLC$dC#P$dUKM$dOHX$dMUQ
042 $apcc
050 00 $aBC199.M6$bF59 2002
072 7 $aBC$2lcco
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$xContributions in ontological proof of existence of God.
988 $a20031008
906 $0DLC