1947
Bibliografía (2 obras)
Fields of logic and computation
2010
Freyd's models for the independence of the axiom of choice
1989
