Akten

Models, translations and interpretations

to related objects

Enthält: einen Sonderdruck des Artikels "Models, translations and interpretations" aus The Mathematical Interpretation of Formal Systems, hg. v. Th. Skolem, Amsterdam 1955

Reference number
PAKN, GK Georg Kreisel, GK 8-1-20
Extent
1 Sonderdruck

Context
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
Holding
PAKN, GK Georg Kreisel

Date of creation
1955

Other object pages
Show object in "Archivportal-D"
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.
Show original at data provider

Object type

  • Sachakte

Time of origin

  • 1955

Other Objects (12)

Remark on complete interpretations by models

Akten

Remark on complete interpretations by models

Nature fierce and fragile, Model interpretations.

Nature fierce and fragile, Model interpretations.

Great short shorts, [...]. Model interpretations

Great short shorts, [...]. Model interpretations

Great short shorts, [...]. Model interpretations

Great short shorts, [...]. Model interpretations

Great fantasy stories, [...]. Model interpretations

Great fantasy stories, [...]. Model interpretations

Great immigrant stories, Model interpretations.

Great immigrant stories, Model interpretations.

Stories of initiation, [...]. Model interpretations

Stories of initiation, [...]. Model interpretations

English translations

Akten

English translations

1-consistency and faithful interpretations

Akten

1-consistency and faithful interpretations

Interpretations

Bildband

Interpretations

Great American short stories, Model interpretations.

Great American short stories, Model interpretations.

Algorithmic Solutions via Model Theoretic Interpretations

Algorithmic Solutions via Model Theoretic Interpretations

Related objects