TU Darmstadt / ULB / TUbiblio

Categorical semantics of contructive set theory

Berg, Benno van den :
Categorical semantics of contructive set theory.

[Habilitation], (2012)

Typ des Eintrags: Habilitation
Erschienen: 2012
Autor(en): Berg, Benno van den
Titel: Categorical semantics of contructive set theory
Sprache: Englisch
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 05 Apr 2012 08:01
Zusätzliche Informationen:

Darmstadt, Techn. Univ., Habil.-Schr., 2012

Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen