Informationssystem der Otto-Friedrich-Universität Bamberg
© Config eG
Fairtlough, M. ; Mendler, Michael
:
Intensional completeness in an extension of Goedel-Dummett logic .
In:
Studia Logica
73 (2003), S. 51-80
Institution:
Professur für Grundlagen der Informatik
UnivIS ist ein Produkt der Config eG, Buckenhof