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 > Mathematical theory of computation

Buy Now

Mathematical Logic (Paperback, 3rd ed. 2021) Loot Price: R1,420
Discovery Miles 14 200
Repayment Terms: R133 pm x 12*
Add to cart
Mathematical Logic (Paperback, 3rd ed. 2021): Heinz-Dieter Ebbinghaus, Joerg Flum, Wolfgang Thomas

Mathematical Logic (Paperback, 3rd ed. 2021)

Heinz-Dieter Ebbinghaus, Joerg Flum, Wolfgang Thomas

Series: Graduate Texts in Mathematics, 291

 (sign in to rate)
Loot Price R1,420 Discovery Miles 14 200 | Repayment Terms: R133 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 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: June 2022
First published: 2021
Authors: Heinz-Dieter Ebbinghaus • Joerg Flum • Wolfgang Thomas
Dimensions: 235 x 155mm (L x W)
Format: Paperback
Pages: 304
Edition: 3rd ed. 2021
ISBN-13: 978-3-03-073841-9
Languages: English
Subtitles: German
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Promotions
LSN: 3-03-073841-8
Barcode: 9783030738419

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..

Fibonacci Cubes With Applications And Variations (Hardcover): Omer Egecioglu, Sandi Klavzar, Michel Mollard
Fibonacci Cubes With Applications And…
Omer Egecioglu, Sandi Klavzar, … Hardcover R2,623 Discovery Miles 26 230
Discrete and Combinatorial Mathematics - Pearson New International Edition (Paperback, 5th edition): Ralph Grimaldi
Discrete and Combinatorial Mathematics…
Ralph Grimaldi Paperback R2,420 Discovery Miles 24 200
Forbidden Configurations in Discrete Geometry (Hardcover): David Eppstein
Forbidden Configurations in Discrete…
David Eppstein Hardcover R2,794 Discovery Miles 27 940
Machine Learning with Quantum Computers (Hardcover, 2nd ed. 2021): Maria Schuld, Francesco Petruccione
Machine Learning with Quantum Computers
Maria Schuld, Francesco Petruccione Hardcover R3,725 Discovery Miles 37 250
Modeling and Simulating Complex Business Perceptions - Using Graphical Models and Fuzzy Cognitive Maps (Hardcover, 1st ed....
Modeling and Simulating Complex Business…
Zoumpolia Dikopoulou Hardcover R3,681 Discovery Miles 36 810
Numerical Geometry, Grid Generation and Scientific Computing - Proceedings of the 10th International Conference, NUMGRID 2020 /...
Numerical Geometry, Grid Generation and…
Vladimir A. Garanzha, Lennard Kamenski, … Hardcover R6,533 Discovery Miles 65 330
Techniques for Searching, Parsing, and Matching (Hardcover, 1st ed. 2021): Alberto Pettorossi
Techniques for Searching, Parsing, and…
Alberto Pettorossi Hardcover R2,745 Discovery Miles 27 450
Fundamentals of Logic and Computation - With Practical Automated Reasoning and Verification (Hardcover, 1st ed. 2021): Zhe Hou
Fundamentals of Logic and Computation…
Zhe Hou Hardcover R940 Discovery Miles 9 400
Probability in Electrical Engineering and Computer Science - An Application-Driven Course (Hardcover, 1st ed. 2021): Jean...
Probability in Electrical Engineering…
Jean Walrand Hardcover R1,604 Discovery Miles 16 040
Schwarz Methods and Multilevel Preconditioners for Boundary Element Methods (Hardcover, 1st ed. 2021): Ernst P. Stephan, Thanh...
Schwarz Methods and Multilevel…
Ernst P. Stephan, Thanh Tran Hardcover R4,850 Discovery Miles 48 500
Logic and Implication - An Introduction to the General Algebraic Study of Non-classical Logics (Hardcover, 1st ed. 2021): Petr...
Logic and Implication - An Introduction…
Petr Cintula, Carles Noguera Hardcover R3,490 Discovery Miles 34 900
Hajnal Andreka and Istvan Nemeti on Unity of Science - From Computing to Relativity Theory Through Algebraic Logic (Hardcover,...
Hajnal Andreka and Istvan Nemeti on…
Judit Madarasz, Gergely Szekely Hardcover R3,027 Discovery Miles 30 270

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