Einführung in die mathematische Logik: Lehrbuchq

Name: Einführung in die mathematische Logik: Lehrbuchq
Brand: Springer Spektrum
SKU: 9783662580288-V
Availability: OutOfStock
Rating: 5 (1 reviews)

By Heinz-Dieter Ebbinghaus

Only 1 item left in stock

Description

Einleitung.- Syntax der Sprachen erster Stufe.- Semantik der Sprachen erster Stufe.- Ein Sequenzenkalkül.- Der Vollständigkeitssatz.- Der Satz von Löwenheim und Skolem und der Endlichkeitssatz.- Zur Tragweite der ersten Stufe.- Syntaktische Interpretationen und Normalformen.- Erweiterungen der Logik erster Stufe.- Berechenbarkeit und ihre Grenzen.- Freie Modelle und Logik-Programmierung.- Eine algebraische Charakterisierung der elementaren Äquivalenz.- Die Sätze von Lindström.- Lösungshinweise zu den Aufgaben.- Literaturverzeichnis.- Symbolverzeichnis.- Sach- und Personenverzeichnis.

Product details

Binding:: Paperback
Edition:: 6
Number of Pages:: 380
Release Date:: 2018-10-15
Publication Date:: 2018-10-15
Publisher:: Springer Spektrum
Languages:: Published: German, Original: German
ISBN10:: 3662580284
GPSR Manufacturer Reference:: [email protected]
Weight:: 454 g
Height:: 21 cm
Width:: 14.8 cm
Thickness:: 2.1 cm

Buy on Amazon

Condition

Show less

Very good

Almost no signs of wear. Book pages have no markings, accessories are intact and all other media are in good condition.

Used - very good €32,49

Available immediately

€32,49

Incl. VAT, plus shipping costs

Add to Wishlist

Only 1 item left in stock

Verified second-hand article

Verified second-hand item

Free shipping from 19€

€32,49