Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Mathematical Logic

Name: Mathematical Logic
Brand: Springer Nature Switzerland AG
SKU: 36551707
Price: 69.79 EUR
Availability: InStock
Author: Heinz-Dieter Ebbinghaus
ISBN: 9783030738389

Heinz-Dieter Ebbinghaus

Jorg Flum

Wolfgang Thomas

Sprache

Englisch

Buch Hardcover

Libristo-Code: 36551707

Verlag Springer Nature Switzerland AG, Mai 2021

This introduction to first-order logic clearly works out the role of first-order logic in the founda... Vollständige Beschreibung

Libristo-Code: 36551707

171 b

69.79 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Mathematical Linguistics Andras Kornai

Broschur

56.89 €

Interactions of Quantum Affine Algebras with Cluster Algebras, Current Algebras and Categorification Jacob Greenstein

Broschur

40.39 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Mathematical Logic

Autor Heinz-Dieter Ebbinghaus, Jorg Flum, Wolfgang Thomas

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2021

Anzahl der Seiten 304

EAN 9783030738389

ISBN 3030738388

Libristo-Code 36551707

Verlag Springer Nature Switzerland AG

Gewicht 658

Abmessungen 243 x 161 x 21

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert