Reading Length
Home
Speed Tests
Login
K. J. Barwise
Identifiers
Open Library
OL2678606A
Top Subjects
Proof theory (1)
Books by K. J. Barwise
Total count: 2
Admissible Sets, and Structures
An Approaches to Definability Theory (Perspectives in Mathematical Logic)
Springer
1976-06-01
Algebra of Proofs
Elsevier Science & Technology Books
2016-01-01
