Sign in
Join Literal
Computation and Proof Theory
Michael M. Richter
Want to read
Sign up to use
Michael M. Richter
Computation and Proof Theory
Proceedings of the Logic Colloquium Held in Aachen, July 18-23, 1983, Part II
Michael M. Richter
Want to read
Sign up to use
Want to read
Sign up to use
Overview
Reviews
Highlights
Editions
Deep cut – we couldn't find a description for this book.
Discover more books like Computation and Proof Theory