My Account
Log in Registration
All
Cart
Highlights
Fiction Books
Non-Fiction Books
Children's Books
Rare Books
Music
DVD & Blu-Ray
Video Games
Category
Wishlists
Cart
All
Free Shipping in Australia
Trustpilot
Proud to be B-Corp

Mathematical Logic Heinz-Dieter Ebbinghaus

Mathematical Logic By Heinz-Dieter Ebbinghaus

Mathematical Logic by Heinz-Dieter Ebbinghaus

Reviews:
Condition - Very Good
Out of stock
Very Good

Summary

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.

Mathematical Logic Summary

Mathematical Logic by Heinz-Dieter Ebbinghaus

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 Fraisse's characterization of elementary equivalence, Lindstroem's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

Mathematical Logic Reviews

This newest edition has been reclassified, fittingly, as a graduate text, and it is admirably suited to that role. ... Those who are already well-versed in logic will find this text to be a valuable reference and a strong resource for teaching at the graduate level, while those who are new to the field will come to know not only how mathematical logic is studied but also, perhaps more importantly, why. (Stephen Walk, MAA Reviews, January 6, 2023)

About Heinz-Dieter Ebbinghaus

Heinz-Dieter Ebbinghaus is Professor Emeritus at the Mathematical Institute of the University of Freiburg. His work spans fields in logic, such as model theory and set theory, and includes historical aspects.

Joerg Flum is Professor Emeritus at the Mathematical Institute of the University of Freiburg. His research interests include mathematical logic, finite model theory, and parameterized complexity theory.

Wolfgang Thomas is Professor Emeritus at the Computer Science Department of RWTH Aachen University. His research interests focus on logic in computer science, in particular logical aspects of automata theory.

Table of Contents

A.- I Introduction.- II Syntax of First-Order Languages.- III Semantics of First-Order Languages.- IV A Sequent Calculus.- V The Completeness Theorem.- VI The Loewenheim-Skolem and the Compactness Theorem.- VII The Scope of First-Order Logic.- VIII Syntactic Interpretations and Normal Forms.- B.- IX Extensions of First-Order Logic.- X Computability and Its Limitations.- XI Free Models and Logic Programming.- XII An Algebraic Characterization of Elementary Equivalence.- XIII Lindstroem's Theorems.- References.- List of Symbols.- Subject Index.

Additional information

CIN3030738388VG
9783030738389
3030738388
Mathematical Logic by Heinz-Dieter Ebbinghaus
Heinz-Dieter Ebbinghaus
Graduate Texts in Mathematics
Used - Very Good
Hardback
Springer Nature Switzerland AG
2021-05-29
304
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us

Customer Reviews - Mathematical Logic