TU Darmstadt / ULB / TUbiblio

Shoenfield is Goedel after Krivine

Kohlenbach, Ulrich ; Streicher, Thomas :
Shoenfield is Goedel after Krivine.
In: Mathematical Logic Quarterly : MLQ., 53 pp. 176-179.
[Artikel], (2007)

Typ des Eintrags: Artikel
Erschienen: 2007
Autor(en): Kohlenbach, Ulrich ; Streicher, Thomas
Titel: Shoenfield is Goedel after Krivine
Sprache: Englisch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Mathematical Logic Quarterly : MLQ.
Band: 53
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 16:00
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen