| Shelfclass_id | 4.B.3 |
| Sortkey | DOSEN, KOSTA |
| Authors | Kosta Dosen, Zoran Petric |
| Title | Proof-Theoretical Coherence |
| Publisher | King's College Publications |
| Year | c2004 |
| Languages | eng |
| Isbn | 1904987060 |
| Series | Studies in logic |
| Volume | 1 |
| Description | xiii, 369 p. ill. 24 cm. |
| Record date | 20070430 |
| Location | London |
| Keywords | Proof theory, Categories (Mathematics), Mathematical logic and foundations, Proof theory and constructive mathematics, Symbolisk logik, Bevisteori, Logic, Symbolic and mathematical |