Akten
Note on completeness and definability
Enthält: Kopie des Artikels "Note on completeness and definability" aus Technical Report 3 (27.1.1961) ( Applied Mathematics and Statistics Laboratories, Stanford University, Stanford Calif. 1961)
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 8-1-48
- Umfang
-
35 Bl.
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Laufzeit
-
1961
- 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
- 1961
Ähnliche Objekte (12)
A Note on Expressive Completeness of Modal Logic
Informal rigour and completeness proofs
Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
On weak completeness of intuitionistic predicative logic
On weak completeness of intuitionistic predicate logic
FRAME FUNCTIONS AND COMPLETENESS
On the concepts of Completeness and Interpretation of Formal Systems
ON THE COMPLETENESS OF CERTAIN SYSTEMS
On stochastic completeness of weighted graphs
A Remark on free choice sequences and the topological completeness proofs
Collaborative note-taking affects cognitive load: the interplay of completeness and interaction
Completeness of medication information in admission notes from emergency departments
A Note on Expressive Completeness of Modal Logic
Informal rigour and completeness proofs
Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
On weak completeness of intuitionistic predicative logic
On weak completeness of intuitionistic predicate logic
FRAME FUNCTIONS AND COMPLETENESS
On the concepts of Completeness and Interpretation of Formal Systems
ON THE COMPLETENESS OF CERTAIN SYSTEMS
On stochastic completeness of weighted graphs
A Remark on free choice sequences and the topological completeness proofs
Collaborative note-taking affects cognitive load: the interplay of completeness and interaction
Completeness of medication information in admission notes from emergency departments
A Note on Expressive Completeness of Modal Logic
Informal rigour and completeness proofs
Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
On weak completeness of intuitionistic predicative logic
On weak completeness of intuitionistic predicate logic
FRAME FUNCTIONS AND COMPLETENESS
On the concepts of Completeness and Interpretation of Formal Systems
ON THE COMPLETENESS OF CERTAIN SYSTEMS
On stochastic completeness of weighted graphs
A Remark on free choice sequences and the topological completeness proofs
Collaborative note-taking affects cognitive load: the interplay of completeness and interaction