Reasoning in simple type theory
festschrift in honour of Peter B. Andrews on this 70th birthday
Edición de la obra Reasoning in simple type theory
| Autor | Christoph Benzmüller |
|---|---|
| Editorial | College Publications |
| Fecha de publicación | 2008 |
| Lugar | London |
| Idioma | inglés |
| Páginas | 467 |
| ISBN-13 | 9781904987703 |
| ISBN-10 | 1904987702 |
| OCLC | 315067474 |
| Serie | Studies in logic. Mathematical logic and foundations -- 17 · Studies in logic -- v. 17. |
| Número de Cutter |