| Shelfclass_id | 4.B.3 |
| Sortkey | SCHMITT, STEPHAN |
| Authors | Stephan Schmitt |
| Title | Proof Construction in Classical and Non-Classical Logics |
| Publisher | Akademische Verlagsgesellschaft Aka |
| Year | 2000 |
| Languages | eng |
| Isbn | 1586031295 |
| Series | DISKI |
| Volume | 239 |
| Record date | 20061027 |
| Location | Berlin |