| Record ID | marc_columbia/Columbia-extract-20221130-001.mrc:30474615:1320 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-001.mrc:30474615:1320?format=raw |
LEADER: 01320cam a2200349 i 4500
001 24428
005 20220518184033.0
008 800619s1979 maua b 001 0 eng
010 $a 79018458
020 $a020102540X
035 $a(OCoLC)5412670
035 $a(OCoLC)ocm05412670
035 $a(CStRLIN)NYCG16538242-B
035 $9AAC5529CU
035 $a(NNC)24428
035 $a24428
050 00 $aQA9.35$b.D73
082 0 $a511/.3
090 $bQA9.35.D73
100 1 $aDreben, Burton.$0http://id.loc.gov/authorities/names/n79080442
245 14 $aThe decision problem :$bsolvable classes of quantificational formulas /$cBurton Dreben, Warren D. Goldfarb.
260 $aReading, Mass. :$bAddison-Wesley, Advanced Book Program,$c1979.
300 $axii, 271 pages :$billustrations ;$c25 cm
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
500 $aIncludes indexes.
504 $aBibliography: p. 257-260.
650 0 $aPredicate calculus.$0http://id.loc.gov/authorities/subjects/sh85106251
650 0 $aUnsolvability (Mathematical logic)$0http://id.loc.gov/authorities/subjects/sh85141199
700 1 $aGoldfarb, Warren D.,$eauthor.$4http://id.loc.gov/vocabulary/relators/aut$0http://id.loc.gov/authorities/names/n79080440
852 00 $bmat$hQA9.35.D73