Proof Theory
A Selection of Papers from the Leeds Proof Theory Programme 1990
Edición de la obra Proof Theory
| Autor | Peter Aczel, Harold Simmons, Stanley S. Wainer |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | 2008 |
| Idioma | inglés |
| Páginas | 320 |
| ISBN-13 | 9780521054164 |
| Número de Cutter | A189p |