Judgements of Higher Levels and Standardized Rules for Logical Constants in Martin-Löf's Theory of Logic

Object Details

• Location: Deutsche Nationalbibliothek Frankfurt am Main
• Extent: Online-Ressource
• Language: Englisch

References and Relationships

• Bibliographic citation: In: Proceedings of the Workshop on Programming Logic, Båstad, Sweden, 21-26 May 1989. Ed. by Peter Dybjer, Lars Hallnäs, Bengt Nordström, Kent Petersson and Jan M. Smith. Programming Methodology Group, University of Göteborg and Chalmers University of Technology 1989, Report 54, pp. 494-517

Classification and Topics

• Keyword: Logik, Beweistheorie, Logische Partikel, Per Martin-Löf [Person]

Contributors, Places and Time

• Event: Veröffentlichung
• (where): Tübingen
• (who): Universitätsbibliothek Tübingen
• (when): 2022
• Creator: Schroeder-Heister, Peter

Further information

• URN: urn:nbn:de:bsz:21-dspace-1309502
• Rights: Der Zugriff auf das Objekt ist unbeschränkt möglich.
• Last update: 15.08.2025, 7:29 AM CEST