Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Juli 2008
Genre:	Philosophie
	Mathematical logic / Mathematics / Philosophy of Science / Philosophy# logic / SCIENCE / Philosophy & Social Aspects
ISBN:	9780521068420
EAN-Code:	9780521068420
Verlag:	Cambridge Academic
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 229 mm / B 152 mm / D 16 mm
Gewicht:	410 gr
Illustration:	Worked examples or Exercises
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.