Sachakte
Foundations of intuitionistic logic
Enthält: 2 Sonderdrucke des Artikels "Foundations of intuitionistic logic" aus Logic, Methodology and Philosophy of Science. Proceedings of the 1960 International Congress, hg. v. E. Nagel, P. Suppes und A. Tarski, Standford, Calf. 1962
- Archivaliensignatur
-
Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-55
- Umfang
-
2 Sonderdrucke
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Laufzeit
-
1962
- Weitere Objektseiten
- Letzte Aktualisierung
-
01.03.2023, 07:50 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Sachakte
Entstanden
- 1962
Ähnliche Objekte (12)
Foundations of logic programming
Foundations of logic programming
Frege's foundations and intuitionistic logic
Foundations of equational logic programming
Foundations of inductive logic programming
Foundations of logic and mathematics
The foundations of Frege's logic
Foundations of logic and mathematics
Foundations of logic and mathematics
Greek foundations of traditional logic
Logic and foundations of mathematics in Frege's philosophy
Mathematical logic : foundations for information science
Foundations of logic programming
Foundations of logic programming
Frege's foundations and intuitionistic logic
Foundations of equational logic programming
Foundations of inductive logic programming
Foundations of logic and mathematics
The foundations of Frege's logic
Foundations of logic and mathematics
Foundations of logic and mathematics
Greek foundations of traditional logic
Logic and foundations of mathematics in Frege's philosophy
Mathematical logic : foundations for information science
Foundations of logic programming
Foundations of logic programming
Frege's foundations and intuitionistic logic
Foundations of equational logic programming
Foundations of inductive logic programming
Foundations of logic and mathematics
The foundations of Frege's logic
Foundations of logic and mathematics
Foundations of logic and mathematics
Greek foundations of traditional logic
Logic and foundations of mathematics in Frege's philosophy