<div class="csl-bib-body">
<div class="csl-entry">Terwijn, S. A. (2007). <i>Constructive logic and computational lattices</i> [Professorial Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186402</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/186402
-
dc.description
Enth. Originalbeitr. u. 6 Veröffentl. des Verf.
-
dc.language
English
-
dc.language.iso
en
-
dc.subject
Konstruktive Logik
de
dc.subject
Berechnungstheorie
de
dc.subject
Verbandstheorie
de
dc.subject
Aufsatzsammlung
de
dc.title
Constructive logic and computational lattices
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.contributor.affiliation
TU Wien, Österreich
-
tuw.thesisinformation
Technische Universität Wien
-
dc.type.qualificationlevel
Habilitation
-
dc.identifier.libraryid
AC06699824
-
dc.description.numberOfPages
110
-
dc.thesistype
Habilitationsschrift
de
dc.thesistype
Professorial Dissertation
en
tuw.author.orcid
0000-0002-1464-6908
-
item.fulltext
no Fulltext
-
item.openairecristype
http://purl.org/coar/resource_type/c_46ec
-
item.languageiso639-1
en
-
item.cerifentitytype
Publications
-
item.openairetype
thesis
-
item.grantfulltext
none
-
crisitem.author.dept
E104 - Institut für Diskrete Mathematik und Geometrie
