Conte aos seus amigos sobre este item:
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Leeds Proof Theory Programme
A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.
320 pages, line drawings
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 11 de fevereiro de 1993 |
| ISBN13 | 9780521414135 |
| Editoras | Cambridge University Press |
| Páginas | 320 |
| Dimensões | 152 × 229 × 22 mm · 602 g |
| Idioma | Inglês |
| Editor | Aczel, Peter (University of Manchester) |
| Editor | Simmons, Harold (University of Manchester) |
| Editor | Wainer, Stanley S. (University of Leeds) |