Verlag Bonifatius VerlagConrad Kuck × Categorial Quantum Mechanics is a part of Set Theory Conrad KuckBonifatius VerlagSoftcover1995 Categories generalize Linear Algebra to a logic, which is the foundation of mathematics Conrad KuckBonifatius VerlagSoftcover1992 The Entscheidungsproblem has been solved Conrad KuckBonifatius VerlagSoftcover1990 Quantum Logic is the foundation of mathematics, physics and computer-science Conrad KuckBonifatiusSoftcover