Andreas Blass1947BooksFields of logic and computationFreyd's models for the independence of the axiom of choiceAuthor data: Open Library