Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 7-14 Tagen versandfertig
Veröffentlichung:	August 2005
Genre:	Schulbücher
	Mathematical logic / MATHEMATICS / Logic
ISBN:	9780521019026
EAN-Code:	9780521019026
Verlag:	Cambridge Academic
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 244 mm / B 170 mm / D 21 mm
Gewicht:	645 gr
Illustration:	Worked examples or Exercises
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to work.