Reflexive Structures: An Introduction to Computability TheoryLuis E. SanchisGebundene Ausgabe |
Über den Satz des Widerspruch bei AristotelesJan LukasiewiczGebundene Ausgabe |
Ein Tableaubasierter Theorembeweiser für die intuitionistische LogikOliver BittelB, Broschiert |