Intensional completeness in an extension of Goedel- Dummett logic

Professorship/Faculty: Foundations of Computer Science  
Authors: Mendler, Michael
Responsibility: Fairtlough, M. ; Mendler, Michael
Title of the compilation: Studia logica : an international journal for symbolic logic / Polish Association for Logic and Philosophy of Science. - 73 (2003), 1, S. 51 - 80
Year of publication: 2003
Language(s): German
Veröff. im Internet:
Document Type: Contribution to an Articlecollection
Release Date: 24. September 2014