| Record ID | marc_loc_2016/BooksAll.2016.part12.utf8:7253961:754 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part12.utf8:7253961:754?format=raw |
LEADER: 00754pam a2200229 i 4500
001 79018458
003 DLC
005 19800129000000.0
008 790829s1979 maua b 00110 eng
010 $a 79018458
020 $a020102540X
050 0 $aQA9.35$b.D73
082 $a511/.3
100 10 $aDreben, Burton.
245 14 $aThe decision problem :$bsolvable classes of quantificational formulas /$cBurton Dreben, Warren D. Goldfarb.
260 0 $aReading, Mass. :$bAddison-Wesley, Advanced Book Program,$c1979.
300 $axii, 271 p. :$bill. ;$c25 cm.
504 $aBibliography: p. 257-260.
500 $aIncludes indexes.
650 0 $aPredicate calculus.
650 0 $aUnsolvability (Mathematical logic)
700 10 $aGoldfarb, Warren D.,$ejoint author.