Advances in Proof-Theoretic Semantics
Edición de la obra Advances in Proof-Theoretic Semantics
| Autor | Thomas Piecha, Peter Schroeder-Heister |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Aug 23, 2016 |
| Páginas | 289 |
| Formato | paperback |
| ISBN-13 | 9783319367811 |
| ISBN-10 | 3319367811 |
| Número de Cutter | P613a |
Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages