Sachakte

Diana Schmidt - Topics in Mathematica Logic, characterisations of small constructive ordinals, constructive finite number classes;

zu Verbundenen Objekten

Archivaliensignatur
B 0160 / 77

Kontext
Mathematische Logik (1965-1980)
Bestand
B 0160 Mathematische Logik (1965-1980)

Laufzeit
1972

Weitere Objektseiten
Objekt im "Archivportal-D" anzeigen
Letzte Aktualisierung
18.08.2025, 10:07 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Universitätsarchiv der Albert-Ludwigs-Universität Freiburg. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Sachakte

Entstanden

  • 1972

Ähnliche Objekte (12)

Constructive logic and logic versus algebraization I

Akten

Constructive logic and logic versus algebraization I

Constructive proofs or constructive statements?

Constructive proofs or constructive statements?

Constructive analysis

Constructive analysis

Constructive approximation

Constructive approximation

Constructive combinatorics

Constructive combinatorics

Constructive waterfalls

Constructive waterfalls

Constructive holography

Constructive holography

Constructive neural networks

Aufsatzsammlung

Constructive neural networks

Constructive nonlinear control

Constructive nonlinear control

Constructive decision theory

Arbeitspapier

Constructive decision theory

Der Constructive Trust

Hochschulschrift

Der Constructive Trust

Constructive nonsmooth analysis

Constructive nonsmooth analysis

Verbundene Objekte