Akten

Status of the first ε number in first order arithmetic

zu Verbundenen Objekten

Enthält: eine Kopie des Artikels (Abstract) "Status of the first ε number in first order arithmetic" aus Journal of Symbolic Logic 25 (1960)

Archivaliensignatur
PAKN, GK Georg Kreisel, GK 8-1-42
Umfang
1 Bl.

Kontext
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
Bestand
PAKN, GK Georg Kreisel

Laufzeit
1960

Weitere Objektseiten
Objekt im "Archivportal-D" anzeigen
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.
Original beim Datenpartner anzeigen

Objekttyp

  • Sachakte

Entstanden

  • 1960

Ähnliche Objekte (12)

Metamathematics of first order arithmetic

Metamathematics of first order arithmetic

Metamathematics of first order arithmetic

Metamathematics of first order arithmetic

Semantical investigations in intuitionistic first-order arithmetic

Hochschulschrift

Semantical investigations in intuitionistic first-order arithmetic

Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates

Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates

Reflection principle for subsystems of Heyting's (first order) arithmetic

Akten

Reflection principle for subsystems of Heyting's (first order) arithmetic

First number - Sixth number

Kapitel

First number - Sixth number

Tableau systems for first order number theory and certain higher order theories

Tableau systems for first order number theory and certain higher order theories

Arithmetic number theory

Arithmetic number theory

First-order logic

First-order logic

First-order logic

First-order logic

Contents of the first number.

Inhaltsverzeichnis

Contents of the first number.

First order logic revisited

Konferenzschrift | Kongress

First order logic revisited

Verbundene Objekte