Mathematical Logic / Undergraduate Texts in Mathematics (PDF)
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...
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
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.
- Autoren: H. -D. Ebbinghaus , J. Flum , Wolfgang Thomas
- 2nd ed. 1994, 291 Seiten, Englisch
- Verlag: Springer US
- ISBN-10: 1475723555
- ISBN-13: 9781475723557
- Erscheinungsdatum: 14.03.2013
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 22 MB
- Mit Kopierschutz
- Vorlesefunktion
Schreiben Sie einen Kommentar zu "Mathematical Logic / Undergraduate Texts in Mathematics".
Kommentar verfassen