Translated title of the contribution | Axiomatic tratments of informal provability as a predicate |
---|---|
Original language | English |
Title of host publication | Principles of Truth |
Editors | V Halbach, L Horsten |
Publisher | Dr Hansel Hohenhausen |
Pages | 203 - 220 |
Number of pages | 18 |
Publication status | Published - 2002 |
Axiomatic tratments of informal provability as a predicate
LFM Horsten
Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book