Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 7-14 Tagen versandfertig
Veröffentlichung:	April 1999
Genre:	Schulbücher
	COMPUTERS / Machine Theory / Mathematical logic / Mathematical modelling / Mathematical theory of computation / MATHEMATICS / Applied / MATHEMATICS / Logic
ISBN:	9780198538516
EAN-Code:	9780198538516
Verlag:	Oxford Academic
Einband:	Gebunden
Sprache:	English
Serie:	#37 - Oxford Logic Guides
Dimensionen:	H 241 mm / B 160 mm / D 19 mm
Gewicht:	533 gr
Illustration:	numerous line figures
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Logic languages are used in computing. Model theory is the mathematical logic which concerns the relationship between mathematical structures and logic languages. The text includes historical information before each topic is introduced. The motivation of the subject and the proofs are explained.