TU Darmstadt / ULB / TUbiblio

Categorical semantics of contructive set theory

Berg, Benno van den (2012):
Categorical semantics of contructive set theory.
[Habilitation]

Item Type: Habilitation
Erschienen: 2012
Creators: Berg, Benno van den
Title: Categorical semantics of contructive set theory
Language: English
Divisions: 04 Department of Mathematics
Date Deposited: 05 Apr 2012 08:01
Additional Information:

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

Export:

Optionen (nur für Redakteure)

View Item View Item