Computation and proof theory - Info and Reading Options
By Logic Colloquium (1983 Aachen, Germany)
“Computation and proof theory” Metadata:
- Title: Computation and proof theory
- Author: ➤ Logic Colloquium (1983 Aachen, Germany)
“Computation and proof theory” Subjects and Themes:
- Subjects: ➤ Computational complexity - Congresses - Logic, Symbolic and mathematical - Proof theory - Symbolic and mathematical Logic
Edition Identifiers:
- The Open Library ID: OL11421777W
AI-generated Review of “Computation and proof theory”:
Read “Computation and proof theory”:
Read “Computation and proof theory” by choosing from the options below.
Search for “Computation and proof theory” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Computation and proof theory” in Libraries Near You:
Read or borrow “Computation and proof theory” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Computation and proof theory” at a library near you.
Buy “Computation and proof theory” online:
Shop for “Computation and proof theory” on popular online marketplaces.
- Ebay: New and used books.