Akten
Eduard Wette, "Definition eines (relativ vollständigen) formalen Systems konstruktiver Arithmetik" (1969)
Enthält: eine Kopie der zusammen mit J. Zucker verfaßten Rezension aus: The Journal of Symbolic Logic 37 (1972)
- Reference number
-
PAKN, GK Georg Kreisel, GK 8-2-7
- Extent
-
2 Bl.
- Context
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Rezensionen
- Holding
-
PAKN, GK Georg Kreisel
- Date of creation
-
1972
- 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
- 1972
Other Objects (12)
3.7.1 Die formalen Definitionen des Modells
Dimensionierung von Analogschaltungen mit formalen Methoden auf der Basis affiner Arithmetik
Dimensionierung von Analogschaltungen mit formalen Methoden auf der Basis affiner Arithmetik
Bearbeitungsmuster von Studierenden im Umgang mit formalen Definitionen im Kontext konstanter Folgen
Deutsche Holzbaukunst : die Grundlagen der deutschen Holzbauweisen in ihrer konstruktiven und formalen Folge
Entwurf einer formalen Definition der primären Datenbasis zur alpha-numerischen Darstellung maschinenbautypischer Einzelteile
Die formalen Stufen
Die Wette Gilt, Nikolaus wette Wette
I. Die formalen Grundlagen.
Syntaxfehler in formalen Sprachen
Die unglücklichen >formalen Stufen<
Grundlagen der formalen Logik
3.7.1 Die formalen Definitionen des Modells
Dimensionierung von Analogschaltungen mit formalen Methoden auf der Basis affiner Arithmetik
Dimensionierung von Analogschaltungen mit formalen Methoden auf der Basis affiner Arithmetik
Bearbeitungsmuster von Studierenden im Umgang mit formalen Definitionen im Kontext konstanter Folgen
Deutsche Holzbaukunst : die Grundlagen der deutschen Holzbauweisen in ihrer konstruktiven und formalen Folge
Entwurf einer formalen Definition der primären Datenbasis zur alpha-numerischen Darstellung maschinenbautypischer Einzelteile
Die formalen Stufen
Die Wette Gilt, Nikolaus wette Wette
I. Die formalen Grundlagen.
Syntaxfehler in formalen Sprachen
Die unglücklichen >formalen Stufen<
Grundlagen der formalen Logik
3.7.1 Die formalen Definitionen des Modells
Dimensionierung von Analogschaltungen mit formalen Methoden auf der Basis affiner Arithmetik
Dimensionierung von Analogschaltungen mit formalen Methoden auf der Basis affiner Arithmetik
Bearbeitungsmuster von Studierenden im Umgang mit formalen Definitionen im Kontext konstanter Folgen
Deutsche Holzbaukunst : die Grundlagen der deutschen Holzbauweisen in ihrer konstruktiven und formalen Folge
Entwurf einer formalen Definition der primären Datenbasis zur alpha-numerischen Darstellung maschinenbautypischer Einzelteile
Die formalen Stufen
Die Wette Gilt, Nikolaus wette Wette
I. Die formalen Grundlagen.
Syntaxfehler in formalen Sprachen
Die unglücklichen >formalen Stufen<