Matches in Harvard for { <http://id.lib.harvard.edu/aleph/000855816/catalog> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- catalog contributor b1388115.
- catalog contributor b1388116.
- catalog contributor b1388117.
- catalog created "1979.".
- catalog date "1979".
- catalog date "1979.".
- catalog dateCopyrighted "1979.".
- catalog description "Bibliography: p. 257-260.".
- catalog extent "xii, 271 p. :".
- catalog hasFormat "Decision problem.".
- catalog identifier "020102540X".
- catalog isFormatOf "Decision problem.".
- catalog issued "1979".
- catalog issued "1979.".
- catalog language "eng".
- catalog publisher "Reading, Mass. : Addison-Wesley, Advanced Book Program,".
- catalog relation "Decision problem.".
- catalog subject "Predicate calculus.".
- catalog subject "QA9.35 .D73".
- catalog subject "Unsolvability (Mathematical logic)".
- catalog title "The decision problem : solvable classes of quantificational formulas / Burton Dreben, Warren D. Goldfarb.".
- catalog type "text".