Structural Proof Theory
Häftad, Engelska, 2008
Av Sara (University of Helsinki) Negri, Jan (University of Helsinki) von Plato, Sara Negri, Jan Von Plato, Jan Von Plato, Negri Sara
729 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Finns i fler format (1)
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.
Produktinformation
- Utgivningsdatum2008-07-10
- Mått229 x 155 x 18 mm
- Vikt416 g
- FormatHäftad
- SpråkEngelska
- Antal sidor276
- FörlagCambridge University Press
- ISBN9780521068420
Tillhör följande kategorier
Hoppa över listan