Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 14-24 Tagen versandfertig
Veröffentlichung:	Januar 1995
Genre:	Schulbücher
	Mathematics / MATHEMATICS / Logic
ISBN:	9780486683706
EAN-Code:	0800759683703
Verlag:	Dover Publications
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 212 mm / B 136 mm / D 12 mm
Gewicht:	231 gr
Seiten:	176
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in "analytic" or "cut-free" methods. Presented in tableau format, the material covers propositional and first-order logic. 144 illustrations.