Reviews matching “Arithmetic, proof theory, and computational complexity”

1 result

BookAuthorReviewerJournalDate
Arithmetic, proof theory, and computational complexity Peter Clote and Krajíček Jan, Oxford logic guides, no. 23 Fernando Ferreira The Journal of Symbolic Logic 1995

Open this search with filters