fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Ebbinghaus / Flum / Thomas

Mathematical Logic

Medium: Buch
ISBN: 978-1-4757-2357-1
Verlag: SPRINGER NATURE
Erscheinungstermin: 12.12.2012
Nicht verfügbar
Nicht mehr lieferbar
Auf die Merkliste Drucken

Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

Produkteigenschaften

  • Artikelnummer: 9781475723571
  • Medium: Buch
  • ISBN: 978-1-4757-2357-1
  • Verlag: SPRINGER NATURE
  • Erscheinungstermin: 12.12.2012
  • Sprache(n): Englisch
  • Auflage: 1994. Softcover
  • Serie: Undergraduate Texts in Mathematics
  • Produktform: Kartoniert
  • Gewicht: 464 g
  • Seiten: 291
  • Format (B x H x T): 155 x 235 x 16 mm
  • Ausgabetyp: Kein, Unbekannt
  • Nachauflage: 978-3-030-73838-9

Themen

Autoren/Hrsg.

Autoren

Preface; Part A: 1. Introduction; 2. Syntax of First-Order Languages; 3. Semantics of first-Order Languages; 4. A Sequent Calculus; 5. The Completeness Theorem; 6. The Lowenheim-Skolem and the Compactness Theorem; 7. The Scope of First-Order Logic; 8. Syntactic Interpretations and Normal Forms; Part B: 9. Extensions of First-Order Logic; 10. Limitations of the Formal Method; 11. Free Models and Logic Programming; 12. An Algebraic Characterization of Elementary Equivalence; 13. Lindstroem's Theorems; References; Symbol Index; Subject Index