| Record ID | ia:unsolvableclasse0000lewi |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/unsolvableclasse0000lewi/unsolvableclasse0000lewi_marc.xml |
| Download MARC binary | https://www.archive.org/download/unsolvableclasse0000lewi/unsolvableclasse0000lewi_meta.mrc |
LEADER: 02120cam 2200577 i 4500
001 ocm05219400
003 OCoLC
005 20191209234455.0
008 790709s1979 maua b 001 0 eng
010 $a 79017573
040 $aDLC$beng$cDLC$dMUQ$dCRU$dZWZ$dDEBBG$dOCLCQ$dBDX$dOCLCF$dOCLCO$dOCLCQ$dOCLCO$dUKMGB$dDCHUA$dOCLCQ
016 7 $a013862394$2Uk
020 $a0201040697
020 $a9780201040692
035 $a(OCoLC)5219400
050 14 $aQA9.63$b.L48
082 04 $a511/.3
084 $aSK 130$2rvk
084 $aSK 940$2rvk
100 1 $aLewis, Harry R.
245 10 $aUnsolvable classes of quantificational formulas /$cHarry R. Lewis.
260 $aReading, Mass. :$bAddison-Wesley Pub. Co.,$c1979.
300 $axv, 198 pages :$billustrations ;$c24 cm
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
500 $a"Advanced Book Program."
504 $aIncludes bibliographical references (pages 190-194).
500 $aIncludes indexes.
650 0 $aUnsolvability (Mathematical logic)
650 0 $aCombinatorial analysis.
650 0 $aComputable functions.
650 6 $aNon-re solubilite (Logique mathe matique)
650 6 $aAnalyse combinatoire.
650 6 $aFonctions calculables.
650 7 $aCombinatorial analysis.$2fast$0(OCoLC)fst00868961
650 7 $aComputable functions.$2fast$0(OCoLC)fst00871985
650 7 $aUnsolvability (Mathematical logic)$2fast$0(OCoLC)fst01162046
650 7 $aBerechenbarkeit$2gnd
650 7 $aUnlo sbarkeit$2gnd
650 7 $aNon-re solubilite (logique mathe matique)$2ram
776 08 $iOnline version:$aLewis, Harry R.$tUnsolvable classes of quantificational formulas.$dReading, Mass. : Addison-Wesley Pub. Co., 1979$w(OCoLC)988091703
938 $aBrodart$bBROD$n31481051$c$26.95
029 1 $aAU@$b000001471094
029 1 $aDEBBG$bBV003696555
029 1 $aDEBSZ$b00719823X
029 1 $aNZ1$b4031094
029 1 $aUKMGB$b013862394
029 1 $aZWZ$b019301324
994 $aZ0$bP4A
948 $hNO HOLDINGS IN P4A - 297 OTHER HOLDINGS