Akten
On a problem of Henkin's
Enthält: Sonderdruck des Artikels "On a problem of Henkin's" aus Indagationes Mathematicae 15 (1953)
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 8-1-13
- Umfang
-
1 Bl.
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Laufzeit
-
1953
- 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
- 1953
Ähnliche Objekte (12)
Henkin–Ramirez kernels
On the algebraization of Henkin‐type second‐order logic
![Das ∂-Problem [D-Partiell-Problem] auf pseudokonvexen Polyedern nach Sergeev und Henkin](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
Das ∂-Problem [D-Partiell-Problem] auf pseudokonvexen Polyedern nach Sergeev und Henkin
Henkin Completeness of Higher-Order Resolution
Henkin, Morduch in Leipzig
Henkin, Morduch. geb. 21.11.1888 in Jekaterinoslaw (Russland). wegen Unterstützungsbetrugs
Manumissionsrevers des Peter Henkin von Kluftern
Desgleichen von Henkin Graman und Greta
Independence-friendly logic without Henkin quantification
Lösen von Booleschen Formeln mit Henkin-Quantoren
Henkin semantics for reasoning with natural language
Bingen: Immission Henkin Wilkin in Peder Büßers Haus in der Judengassen
Henkin–Ramirez kernels
On the algebraization of Henkin‐type second‐order logic
Das ∂-Problem [D-Partiell-Problem] auf pseudokonvexen Polyedern nach Sergeev und Henkin
Henkin Completeness of Higher-Order Resolution
Henkin, Morduch in Leipzig
Henkin, Morduch. geb. 21.11.1888 in Jekaterinoslaw (Russland). wegen Unterstützungsbetrugs
Manumissionsrevers des Peter Henkin von Kluftern
Desgleichen von Henkin Graman und Greta
Independence-friendly logic without Henkin quantification
Lösen von Booleschen Formeln mit Henkin-Quantoren
Henkin semantics for reasoning with natural language
Bingen: Immission Henkin Wilkin in Peder Büßers Haus in der Judengassen
Henkin–Ramirez kernels
On the algebraization of Henkin‐type second‐order logic
Das ∂-Problem [D-Partiell-Problem] auf pseudokonvexen Polyedern nach Sergeev und Henkin
Henkin Completeness of Higher-Order Resolution
Henkin, Morduch in Leipzig
Henkin, Morduch. geb. 21.11.1888 in Jekaterinoslaw (Russland). wegen Unterstützungsbetrugs
Manumissionsrevers des Peter Henkin von Kluftern
Desgleichen von Henkin Graman und Greta
Independence-friendly logic without Henkin quantification
Lösen von Booleschen Formeln mit Henkin-Quantoren
Henkin semantics for reasoning with natural language