A Concise Introduction to Mathematical Logic

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

77,25 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:

Beschreibung

Propositional Logic.- First-Order Logic.- Complete logical Calculi.- Foundations of Logic Programming.- Elements of Model Theory.- Incompleteness and Undecidability.- On the Theory of Self-Reference.

Zusammenfassung

Chapter summaries

Section summaries

Detailed illustrations

Study guides at the ends of sections

Exercises at the ends of chapters or sections

Solutions to selected exercises in the book

A separate solutions manual (on the Internet)

Instructor's manual with solutions and teaching guides

Includes supplementary material: [...]

Inhaltsverzeichnis

Propositional Logic.- First-Order Logic.- Complete logical Calculi.- Foundations of Logic Programming.- Elements of Model Theory.- Incompleteness and Undecidability.- On the Theory of Self-Reference.

Details

Erscheinungsjahr:	2009
Fachbereich:	Grundlagen
Genre:	Importe , Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Reihe:	Universitext
Inhalt:	xxii 320 S. 25 s/w Illustr. 320 p. 25 illus.
ISBN-13:	9781441912206
ISBN-10:	1441912207
Sprache:	Englisch
Herstellernummer:	12616268
Einband:	Kartoniert / Broschiert
Autor:	Rautenberg, Wolfgang
Auflage:	3rd edition 2010
Hersteller:	Humana Springer Springer US, New York, N.Y. Universitext
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	241 x 168 x 19 mm
Von/Mit:	Wolfgang Rautenberg
Erscheinungsdatum:	17.12.2009
Gewicht:	0,581 kg