Produseres på bestilling
Leveringstid: 2-4 uker
Handlinger
Beskrivelse
Omtale
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.
Detaljer
-
Utgivelsesdato:
10.07.2008
-
ISBN:
9780521068420
-
Språk:
, Engelsk
-
Forlag:
Cambridge University Press -
Fagtema:
-
Litteraturtype:
-
Sider:
276
-
Høyde:
15.5 cm
-
Bredde:
22.9 cm
Andre bøker av eller med forfatteren
Creating Modern Probability : Its Mathematics, Physics and Philosophy in Historical Perspective
9780521597357 Cambridge Studies in Probability, Induction and Decision Theory Heftet
12.01.1998
Engelsk
I salg
Creating Modern Probability : Its Mathematics, Physics and Philosophy in Historical Perspective
9780521444033 Cambridge Studies in Probability, Induction and Decision Theory Innbundet
28.01.1994
Engelsk
Produseres på bestilling