Pastāsti draugiem par šo preci:
Structural Proof Theory Negri, Sara (University of Helsinki)
Cena
€ 133,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 25. sept. - . gada 9. okt.
Saņemiet paziņojumus par jauniem Negri, Sara (University of Helsinki) izdevumiem
Mūsu klienti saka:
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
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2001. gada 18. jūnijs |
| ISBN13 | 9780521793070 |
| Izdevēji | Cambridge University Press |
| Lapas | 276 |
| Izmēri | 160 × 235 × 21 mm · 599 g |
| Valoda | Angļu |
