Die Vollständigkeit des Operatorensystems {¬,^,v, } für die intuitionistische Aussagenlogik im Rahmen der Gentzensemantik
Book section
Kutschera, Franz (2004) Die Vollständigkeit des Operatorensystems {¬,^,v, } für die intuitionistische Aussagenlogik im Rahmen der Gentzensemantik. In: Kutschera, Franz, (ed.) Ausgewählte Aufsätze. Mentis, Paderborn, pp. 31-46. ISBN 3-89785-374-4.Involved Institutions
Details
| Item type | Book section |
| ISBN | 3-89785-374-4 |
| Title of Book: | Ausgewählte Aufsätze |
|---|---|
| Publisher | Mentis |
| Place of Publication | Paderborn |
| Page Range | pp. 31-46 |
| Date | 2004 |
| Date of publication | 11 Feb 2010 11:35 |
| Institutions | Philosophy, Art History, History, and Humanities > Institut für Philosophie > Alumni or Retired Professors > Lehrstuhl für Wissenschaftsgeschichte (Prof. Dr. rer. nat. Christoph Meinel) |
| Dewey Decimal Classification | 100 Philosophy & psychology > 100 Philosophy |
| Status | Published |
| Refereed | Unknown |
| Created at the University of Regensburg | Unknown |
| Item ID | 12591 |
Export bibliographical data
Owner only: item control page
More literature (via CORE)
More literature (via CORE)