Computation and Proof Theory
Publisher: Springer
Published: April 1985
Language: eng
Format: Paperback
Number of pages: 475
ISBN-13: 9780387139012
Subjects: Logic; Computer Mathematics; Foundations Of Mathematics; Mathematics
Notes: Lecture Notes in Mathematics