Structural Proof Theory
Inbunden, Engelska, 2001
Av Sara (University of Helsinki) Negri, Jan (University of Helsinki) von Plato, Sara Negri, Jan Von Plato, Jan Von Plato, Aarne Ranta
1 639 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
- Utgivningsdatum2001-06-18
- Mått160 x 235 x 21 mm
- Vikt599 g
- FormatInbunden
- SpråkEngelska
- Antal sidor276
- FörlagCambridge University Press
- ISBN9780521793070
Tillhör följande kategorier
Hoppa över listan