Pastāsti draugiem par šo preci:
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 Peter Aczel
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Peter Aczel
A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.
320 pages, black & white illustrations
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2008. gada 21. janvāris |
| ISBN13 | 9780521054164 |
| Izdevēji | Cambridge University Press |
| Lapas | 320 |
| Izmēri | 151 × 228 × 18 mm · 484 g |
| Valoda | Angļu |
| Redaktors | Aczel, Peter (University of Manchester) |
| Redaktors | Simmons, Harold (University of Manchester) |
| Redaktors | Wainer, Stanley S. (University of Leeds) |
Vairāk no tā paša izdevēja
Skatīt visus Peter Aczel ( piem., Paperback Book , Book un Hardcover Book )