
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
Discover references














Fernando Ferreira; Martin Hyland; Benedikt Löwe; Elvira Mayordomo