Matches in Harvard for { <http://id.lib.harvard.edu/aleph/003056641/catalog> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- catalog contributor b4439856.
- catalog contributor b4439857.
- catalog created "1993.".
- catalog date "1993".
- catalog date "1993.".
- catalog dateCopyrighted "1993.".
- catalog description "Includes bibliographical references.".
- catalog extent "xii, 428 p. :".
- catalog identifier "0820519650".
- catalog isPartOf "Oxford logic guides ; 23".
- catalog issued "1993".
- catalog issued "1993.".
- catalog language "eng".
- catalog publisher "Oxford : Clarendon Press ; New York : Oxford University Press,".
- catalog subject "511.3 20".
- catalog subject "Computational complexity.".
- catalog subject "Proof theory.".
- catalog subject "QA9.54 .A75 1992".
- catalog title "Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček.".
- catalog type "text".