Literatur
Kleene, S.C., Vesley, R.E.: The foundations of intuitionistic mathematics. Amsterdam: North-Holland 1965.
König, D.: Theorie der endlichen und unendlichen Graphen. Leipzig 1936.
Lorenzen, P.: Formale Logik. Berlin 1967.
Zahn, P.: Die Semantik der Prädikatenlogik in argumentativ-pragmatischer Sicht. In: Logik und Pragmatik. Hrsg.: C.F. Gethmann. Frankfurt a.M. 1982.
Zahn, P.: Ein argumentativer Weg zur Logik. Darmstadt 1982.
Zahn, P.: Kalküle und partielle Peano-Algebren. TH-Darmstadt Preprint Nr. 767, 1983.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Zahn, P. Gilt das Lemma von König „konstruktiv“?. Arch math Logik 25, 33–35 (1985). https://doi.org/10.1007/BF02007553
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02007553