Sachakte
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
-
Archive der Universität Konstanz, 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
-
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
- 1961
Ähnliche Objekte (12)
A Note on Expressive Completeness of Modal Logic
Informal rigour and completeness proofs
On weak completeness of intuitionistic predicate logic
On weak completeness of intuitionistic predicative logic
On the concepts of Completeness and Interpretation of Formal Systems
Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
A Remark on free choice sequences and the topological completeness proofs
On stochastic completeness of weighted graphs
Graph algorithms and NP-completeness
Observations on a recent generalization of completeness theorems due to Schütte
Linear representability without completeness and transitivity
Randomness and completeness in computational complexity
A Note on Expressive Completeness of Modal Logic
Informal rigour and completeness proofs
On weak completeness of intuitionistic predicate logic
On weak completeness of intuitionistic predicative logic
On the concepts of Completeness and Interpretation of Formal Systems
Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
A Remark on free choice sequences and the topological completeness proofs
On stochastic completeness of weighted graphs
Graph algorithms and NP-completeness
Observations on a recent generalization of completeness theorems due to Schütte
Linear representability without completeness and transitivity
Randomness and completeness in computational complexity
A Note on Expressive Completeness of Modal Logic
Informal rigour and completeness proofs
On weak completeness of intuitionistic predicate logic
On weak completeness of intuitionistic predicative logic
On the concepts of Completeness and Interpretation of Formal Systems
Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
A Remark on free choice sequences and the topological completeness proofs
On stochastic completeness of weighted graphs
Graph algorithms and NP-completeness
Observations on a recent generalization of completeness theorems due to Schütte
Linear representability without completeness and transitivity