phone 02/210 210 99
LIBRISTO 0
Free delivery for purchases over 59.99 €
Slovak post 4.49 € SPS courier 4.99 € GLS courier 3.99 € GLS point 2.99 € Packeta courier 4.99 € Packeta point 2.99 € SPS Parcel Shop 2.99 €
phone Contact phoneHow to shop

Mathematical Logic

Language EnglishEnglish
Book Hardback
Book Mathematical Logic Heinz-Dieter Ebbinghaus
Libristo code: 36551707
Publishers Springer Nature Switzerland AG, May 2021
This introduction to first-order logic clearly works out the role of first-order logic in the founda... Full description
? points 178 b
70.20 €
In stock at our supplier Shipping in 3-5 days

30-day return policy

You might also be interested in

TOP
Quantum Mechanics: The Theoretical Minimum Leonard Susskind / Paperback
common.buy 11.06 €
TOP
Choujin X, Vol. 1 / Paperback
common.buy 13.65 €
TOP
The End of Loneliness Benedict Wells / Paperback
common.buy 13.55 €
TOP
Options, Futures, and Other Derivatives, Global Edition John Hull / Paperback
common.buy 73.69 €
TOP
Math Games with Bad Drawings / Hardback
common.buy 24.22 €
TOP
Introduction to Quantum Mechanics David J. Griffiths / Hardback
common.buy 68.20 €
TOP
Mathematical Methods for Physics and Engineering Kenneth F. Riley / Paperback
common.buy 58.53 €
TOP
Contemporary Counterpoint: Theory & Application Beth Denisch / Paperback
common.buy 19.44 €
Maths Book DK / Hardback
common.buy 20.33 €
Greatest Attacker in Chess Cyrus Lakdawala / Paperback
common.buy 27.71 €
Mathematical Logic Stephen Cole Kleene / Hardback
common.buy 20.03 €
Ultimate Mathematical Challenge The UK Mathematics Trust / Paperback
common.buy 15.05 €
Honda PCX125 &150 (10-19) / Paperback
common.buy 42.37 €
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory Douglas Cenzer / Hardback
common.buy 64.01 €
Introduction to Formal Logic / Hardback
common.buy 29.11 €
Practice of Mathematics: An Introduction to Proof Techniques and Number Systems Clifford Johnston / Hardback
common.buy 246.51 €

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.

About the book

Full name Mathematical Logic
Author Heinz-Dieter Ebbinghaus, Jorg Flum, Wolfgang Thomas
Language English
Binding Book - Hardback
Date of issue 2021
Number of pages 304
EAN 9783030738389
ISBN 3030738388
Libristo code 36551707
Publishers Springer Nature Switzerland AG
Weight 658
Dimensions 243 x 161 x 21

Categories

Mathematics & Science > Mathematics > Mathematical foundations
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account