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 | 2011 |
| Idioma | inglés |
| ISBN-13 | 9780511896262 |
| Número de Cutter | A189p |