Ergebnisse zu
Logik / Mengenlehre

Logic and Continuity

Proceedings of the BB Fest 96, a Conference Held at the University of Cape Town, 15–20 July 1996, on Category Theory and its Applications to..

Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings

Problems of Completeness and Decidability, Gödel’s Theorems

Theory and Practice

Principles and Applications

Duality, Separation, Representation, and Resolution

Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

The Interdisciplinary Turn in Philosophy

Proceedings of the Curaçao Conference, sponsored by the Caribbean Mathematics Foundation, June 26–30, 1995

Logic Optimization

An Algebraic Theory

International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings