01113nam a2200277Ia 4500001001200000003000800012006001900020007001500039008004100054010001700095020001500112040002100127035002100148050002400169100003500193245008200228260004400310300001700354504006400371533015200435650003800587650003800625655002900663710001700692856012600709ebr10017095CaPaEBRm        u        cr cn|||||||||890908s1990    enk     sb    001 0 eng d  z   89027524   z0415000335  aCaPaEBRcCaPaEBR  a(OCoLC)55947559114aBC135b.G495 1990eb1 aGill, R. R. Rockingham,d1944-10aDeducibility and decidabilityh[electronic resource] /cR.R. Rockingham Gill.  aLondon ;aNew York :bRoutledge,c1990.  aviii, 162 p.  aIncludes bibliographical references (p. 150-155) and index.  aElectronic reproduction.bPalo Alto, Calif. :cebrary,d2013.nAvailable via World Wide Web.nAccess may be limited to ebrary affiliated libraries. 0aLogic, Symbolic and mathematical. 0aDecidability (Mathematical logic) 7aElectronic books.2local2 aebrary, Inc.40uhttp://site.ebrary.com/lib/rucke/Doc?id=10017095zAn electronic book accessible through the World Wide Web; click to view