Structural Proof Theory - Negri, Sara (University of Helsinki) - Grāmatas - Cambridge University Press - 9780521068420 - 2008. gada 10. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Structural Proof Theory

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

Not rated yet

Pieejams arī kā:

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  

Vairāk no Negri, Sara (University of Helsinki)

Vairāk no tā paša izdevēja