Für diesen Artikel ist leider kein Bild verfügbar.

From Symbolic Logic...to Mathematical Logic

Charles L. Silver (Autor)

Buch | Hardcover

400 Seiten

1994
Brown (William C.) Co ,U.S. (Verlag)
978-0-697-14175-0 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

This text aims to unify mathematical logic and symbolic logic, and outlines how mathematical logic emerged from symbolic logic. Derivations are extended to encompass mathematical principles. Godel's theorems are covered, including philosophical and historical issues.

Mathematical preliminaries; syntax of sentential logic; short-cut rules of sentential logic; semantics of sentential logic; connecting the syntax and semantics of sentential logic; the syntax of first-order predicate logic; the semantics of first-order predicate logic; connections syntax and semantics for first-order predicate logic; first-order theories; the theory of arithmetic; models for first-order theories; Godel's theorems.

Verlagsort	Dubuque, IA
Sprache	englisch
Gewicht	879 g
Themenwelt	Geisteswissenschaften ► Philosophie ► Logik
	Mathematik / Informatik ► Mathematik ► Angewandte Mathematik
	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-697-14175-6 / 0697141756
ISBN-13	978-0-697-14175-0 / 9780697141750
Zustand	Neuware