5 works Add another?
Most Editions  First Published  Most Recent

Intuitionistic set theory, or, How to construct a proof
1 edition  first published in 1998 
Quantum logic is the foundation of mathematics, physics, and computer science
1 edition  first published in 1989 
The Entscheidungsproblem has been solved
1 edition  first published in 1991 
Categorical quantum mechanics is a part of set theory
1 edition  first published in 1995 
Categories generalize linear algebra to a logic, which is the foundation of mathematics
1 edition  first published in 1992
History Created April 1, 2008 · 2 revisions
September 12, 2008  Edited by RenameBot  fix author name 
April 1, 2008  Created by an anonymous user  initial import 