| 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