Akten
On a problem of Henkin's
Enthält: Sonderdruck des Artikels "On a problem of Henkin's" aus Indagationes Mathematicae 15 (1953)
- Reference number
-
PAKN, GK Georg Kreisel, GK 8-1-13
- Extent
-
1 Bl.
- Context
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Holding
-
PAKN, GK Georg Kreisel
- Date of creation
-
1953
- Other object pages
- Last update
-
10.06.2025, 11:28 AM CEST
Data provider
This object is provided by:
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Object type
- Sachakte
Time of origin
- 1953
Other Objects (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, Morduch in Leipzig
Henkin Completeness of Higher-Order Resolution
Desgleichen von Henkin Graman und Greta
Manumissionsrevers des Peter Henkin von Kluftern
Independence-friendly logic without Henkin quantification
Henkin, Morduch. geb. 21.11.1888 in Jekaterinoslaw (Russland). wegen Unterstützungsbetrugs
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, Morduch in Leipzig
Henkin Completeness of Higher-Order Resolution
Desgleichen von Henkin Graman und Greta
Manumissionsrevers des Peter Henkin von Kluftern
Independence-friendly logic without Henkin quantification
Henkin, Morduch. geb. 21.11.1888 in Jekaterinoslaw (Russland). wegen Unterstützungsbetrugs
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, Morduch in Leipzig
Henkin Completeness of Higher-Order Resolution
Desgleichen von Henkin Graman und Greta
Manumissionsrevers des Peter Henkin von Kluftern
Independence-friendly logic without Henkin quantification
Henkin, Morduch. geb. 21.11.1888 in Jekaterinoslaw (Russland). wegen Unterstützungsbetrugs
Lösen von Booleschen Formeln mit Henkin-Quantoren
Henkin semantics for reasoning with natural language