Akten
Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
Enthält: 2 Sonderdrucke des Artikels "Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae" aus The Journal of Symbolic Logic 23 (1958)
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 8-1-31
- Umfang
-
2 Sonderdrucke
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Laufzeit
-
1958
- Weitere Objektseiten
- Letzte Aktualisierung
-
10.06.2025, 11:28 MESZ
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
- 1958
Ähnliche Objekte (12)
On weak completeness of intuitionistic predicative logic
On weak completeness of intuitionistic predicate logic
A Note on Expressive Completeness of Modal Logic
On elementary loops of logic programs
The completeness theorem for adapted probability logic
Internal definability and completeness in modal logic
Completeness Result of SLDNF-resolution for a relevant Class of Logic Programs
Completeness of Information Sources
Completeness of Information Sources
Elementary logic for philosophy of science and economic methodology
Elementary Logic for Philosophy of Science and Economic Methodology
Completeness of integrated Information Sources
On weak completeness of intuitionistic predicative logic
On weak completeness of intuitionistic predicate logic
A Note on Expressive Completeness of Modal Logic
On elementary loops of logic programs
The completeness theorem for adapted probability logic
Internal definability and completeness in modal logic
Completeness Result of SLDNF-resolution for a relevant Class of Logic Programs
Completeness of Information Sources
Completeness of Information Sources
Elementary logic for philosophy of science and economic methodology
Elementary Logic for Philosophy of Science and Economic Methodology
Completeness of integrated Information Sources
On weak completeness of intuitionistic predicative logic
On weak completeness of intuitionistic predicate logic
A Note on Expressive Completeness of Modal Logic
On elementary loops of logic programs
The completeness theorem for adapted probability logic
Internal definability and completeness in modal logic
Completeness Result of SLDNF-resolution for a relevant Class of Logic Programs
Completeness of Information Sources
Completeness of Information Sources
Elementary logic for philosophy of science and economic methodology
Elementary Logic for Philosophy of Science and Economic Methodology