Pastāsti draugiem par šo preci:
Structural Proof Theory Negri, Sara (University of Helsinki)
Cena
€ 74,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 24. nov. - . gada 8. dec.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Negri, Sara (University of Helsinki) izdevumiem
Pievienot savam iMusic vēlmju sarakstam
Pieejams arī kā:
Structural Proof Theory
Negri, Sara (University of Helsinki)
Structural proof theory studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to structural proof theory and a work of research that will be of interest to specialists. A special feature is a downloadable computer program for developing proofs interactively.
276 pages, black & white illustrations
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2008. gada 10. jūlijs |
| ISBN13 | 9780521068420 |
| Izdevēji | Cambridge University Press |
| Lapas | 276 |
| Izmēri | 229 × 155 × 18 mm · 416 g |
| Valoda | Angļu |