Andreas Blass

Born 1947-01-01

Identifiers

Open LibraryOL1003218A

Top Subjects

Forcing (Model theory) (1)
Toposes. (1)
Axiom of choice. (1)
Theoretische Informatik (1)
Mathematics (1)
Computer science (1)
Formal methods (Computer science) (1)

Books by Andreas Blass

Total count: 2

Freyd's models for the independence of the axiom of choice

American Mathematical Society1989-01-01
Fields of logic and computationessays dedicated to Yuri Gurevich on the occasion of his 70th birthday

Springer2010-01-01