Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing

Buy Now

Mathematical Logic (Hardcover, 3rd ed. 2021) Loot Price: R1,490
Discovery Miles 14 900
Repayment Terms: R140 pm x 12*
You Save: R146 (9%)
Add to cart
Mathematical Logic (Hardcover, 3rd ed. 2021): Heinz-Dieter Ebbinghaus, Joerg Flum, Wolfgang Thomas

Mathematical Logic (Hardcover, 3rd ed. 2021)

Heinz-Dieter Ebbinghaus, Joerg Flum, Wolfgang Thomas

Series: Graduate Texts in Mathematics, 291

 (sign in to rate)
List price R1,636 Loot Price R1,490 Discovery Miles 14 900 | Repayment Terms: R140 pm x 12* You Save R146 (9%)

Bookmark and Share

Expected to ship within 9 - 17 working days

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.

General

Imprint: Springer Nature Switzerland AG
Country of origin: Switzerland
Series: Graduate Texts in Mathematics, 291
Release date: May 2021
First published: 2021
Authors: Heinz-Dieter Ebbinghaus • Joerg Flum • Wolfgang Thomas
Dimensions: 235 x 155 x 21mm (L x W x T)
Format: Hardcover - Cloth over boards
Pages: 304
Edition: 3rd ed. 2021
ISBN-13: 978-3-03-073838-9
Languages: English
Subtitles: German
Categories: Books > Computing & IT > General theory of computing > General
Books > Computing & IT > Applications of computing > General
Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Promotions
LSN: 3-03-073838-8
Barcode: 9783030738389

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Systems Analysis And Design In A Changing World (Hardcover, 7th Edition): John Satzinger, Robert Jackson, Stephen D. Burd
Systems Analysis And Design In A…
John Satzinger, Robert Jackson, … Hardcover  (1)
 R1,366 R1,270 Discovery Miles 12 700
Oracle 12c - SQL (Paperback, 3rd Edition): Joan Casteel
Oracle 12c - SQL
Joan Casteel Paperback  (1)
 R1,406 R1,302 Discovery Miles 13 020
Systems Analysis And Design (Hardcover, 12th Edition): Scott Tilley
Systems Analysis And Design
Scott Tilley Hardcover R1,385 R1,285 Discovery Miles 12 850
Foundations Of Computer Science (Paperback, 5th Edition): Behrouz Forouzan
Foundations Of Computer Science
Behrouz Forouzan Paperback R1,269 R1,185 Discovery Miles 11 850
Introduction to Computer Theory (Paperback, 2Rev ed): Daniel I. A. Cohen
Introduction to Computer Theory
Daniel I. A. Cohen Paperback  (4)
 R6,943 Discovery Miles 69 430
Discovering Computers 2018 - Digital Technology, Data And Devices (Paperback, 16th edition): Misty Vermaat, Steven Freund,...
Discovering Computers 2018 - Digital…
Misty Vermaat, Steven Freund, … Paperback R1,355 R1,259 Discovery Miles 12 590
Dynamic Web Application Development Using PHP and MySQL (Paperback, New edition): David Parsons, Simon Stobart
Dynamic Web Application Development…
David Parsons, Simon Stobart Paperback R1,341 R1,245 Discovery Miles 12 450
Program Construction - Calculating Implementations from Specifications (Paperback): Roland Backhouse
Program Construction - Calculating…
Roland Backhouse Paperback R1,467 Discovery Miles 14 670
Discovering Computers, Essentials (c)2018: Digital Technology, Data, and Devices (Paperback, 16th edition): Susan Sebok,...
Discovering Computers, Essentials…
Susan Sebok, Jennifer Campbell, … Paperback R1,289 R1,197 Discovery Miles 11 970
Introduction to the Theory of Computation (Hardcover, 3rd Edition): Michael Sipser
Introduction to the Theory of…
Michael Sipser Hardcover R1,354 R1,253 Discovery Miles 12 530
Distributed Systems - Concurrency and Consistency (Hardcover): Matthieu Perrin
Distributed Systems - Concurrency and…
Matthieu Perrin Hardcover R1,932 Discovery Miles 19 320
Principles of Biomedical Informatics (Hardcover): Ira J. Kalet Ph.D.
Principles of Biomedical Informatics
Ira J. Kalet Ph.D. Hardcover R1,852 Discovery Miles 18 520

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners