References
Beth, E. W.:Remarks on intuitionistic logic. Constructivity in Mathematics, Studies in Logic (Amsterdam 1959), S. 15–25.
Brouwer, L. E. J.:Zur Begründung der intuitionistischen Mathematik I, Mathematische Annalen 93, S. 244–257.
Brouwer, L. E. J.:Zur Begründung der intuitionistischen Mathematik II, Mathematische, Annalen 95, S. 453–472.
Gentzen, G.:Untersuchungen über das logische Schließen, Mathematische Zeitschrift 39 (1935), S. 176–210 und S. 405–431.
Heyting, A.:Die formalen Regeln der intuitionistischen Logik, Sitzungsberichte der Preußischen Akademie der Wissenschaften (1930), S. 42–56.
Heyting, A.:Die formalen Regeln der intuitionistischen Mathematik, Sitzungsberichte der Preußischen Akademie der Wissenschaften (1930).
Heyting, A.:Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie, Ergebnisse der Mathematik und ihrer Grenzgebiete, Zentralblatt für Mathematik Bd. III (1934).
Heyting, A.:Intuitionism. An introduction. (North-Holland Publ. Co. Amsterdam 1956).
Kleene, S. C. undVesley, R. E.:The foundations, of intuitionistic mathematics, (North-Holland Pub. Co. Amsterdam, 1965).
Kreisel, G.:Foundations of intuitionistic logic. Logic, Methodology and Philosophy of Science, Proceedings of the 1960 International Congress, Stanford, California (1962).
Gödel, K.:Eine Interpretation des intuitionistischen Aussagenkalküls, Ergebnisse eines mathematischen Kolloquiums IV (1933), S. 39–40.
Author information
Authors and Affiliations
Additional information
Allatum est die 1 Augusti 1970
Rights and permissions
About this article
Cite this article
Homagk, F. Intuitionistische Kennzeichnung der endlichen Spezies. Stud Logica 28, 41–63 (1971). https://doi.org/10.1007/BF02124256
Issue Date:
DOI: https://doi.org/10.1007/BF02124256