Discover references
Proofs
Books
55 results
English
Unordered
Annals of Pure and Applied Logic
Fernando Ferreira; Martin Hyland; Benedikt Löwe; Elvira Mayordomo
2012 June
View book