749:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

Inbunden 1669:-

276 sidor
2008

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.

Författare: Sara Negri, Jan Von Plato, Sara Negri, Jan Von Plato, Jan Von Plato
Format: Pocket/Paperback
ISBN: 9780521068420
Språk: Engelska
Antal sidor: 276
Utgivningsdatum: 2008-07-10
Förlag: Cambridge University Press