Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
(Bog, Paperback / softback, Engelsk)
Forlag:
Cambridge University Press
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9780521054164
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Cambridge University Press |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 21-01-2008 |
| Første udgivelsesår | 2008 |
| Illustrationer | Worked examples or Exercises |
| Fagredaktør | Peter (University of Manchester) Aczel, Harold (University of Manchester) Simmons, Stanley S. (University of Leeds) Wainer |
| Originalsprog | United Kingdom |
| Sideantal | 320 |
| Indbinding | Paperback / softback |
| Forlag | Cambridge University Press |
| Sideoplysninger | 320 pages, Worked examples or Exercises |
| Mål | 228 x 151 x 18 |
| ISBN-13 / EAN-13 | 9780521054164 |