Mathematical Logic

By: H.-D. Ebbinghaus, Wolfgang Thomas, J. Flum

Write A Review

Hardcover | 1 December 1996 | Edition Number 2

At a Glance

Hardcover
308 Pages

Edition Type
Revised

Dimensions(cm)
24.1 x 16.6 x 2.1

Hardcover

$99.00

or 4 interest-free payments of $24.75 with

or

Ships in 5 to 7 business 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 Fra¯ss©'s characterization of elementary equivalence, Lindstr¶m's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

Industry Reviews

"...the book remains my text of choice for this type of material, and I highly recommend it to anyone teaching a first logic course at this level." - Journal of Symbolic Logic

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Mathematical Logic

Current Trends in Automated Reasoning - Erika Bach

$31.75

21%
OFF

The Language of Mathematics

The Stories behind the Symbols

Hardcover

RRP $49.99

$40.75

18%
OFF

How to Prove It

A Structured Approach

Paperback

RRP $73.95

$70.75

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Paperback

RRP $94.99

$85.75

10%
OFF

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Hardcover

RRP $231.00

$202.75

12%
OFF

Introduction to Modern Cryptography

Chapman & Hall/Crc Cryptography and Network Security

Hardcover

RRP $242.00

$233.75

Introduction to Modern Cryptography

Revised Third Edition

Hardcover

RRP $317.75

$310.75

Introduction to Mathematical Logic : Discrete Mathematics and Its Applications - Elliott Mendelson

$40.75

13%
OFF

Cause, Effect, and Everything in Between

An Introduction to Causal Inference

Hardcover

RRP $183.95

$137.75

25%
OFF

Strongly Minimal Sets and Categoricity in Continuous Logic

Paperback

RRP $197.00

$187.75

Computable Structure Theory

Beyond the Arithmetic

Hardcover

RRP $230.95

$201.99

13%
OFF

Fuzzy Logic : An Introductory Text - Lukas Brooks

$47.75

10%
OFF

Preface

Introduction
Syntax of First-Order Languages
Semantics of first-Order Languages
A Sequent Calculus
The Completeness Theorem
The Lowenheim-Skolem and the Compactness Theorem
The Scope of First-Order Logic
Syntactic Interpretations and Normal Forms

Extensions of First-Order Logic
Limitations of the Formal Method
Free Models and Logic Programming
An Algebraic Characterization of Elementary Equivalence
Lindstroem's Theorems
References
Symbol Index
Subject Index
Table of Contents provided by Publisher. All Rights Reserved.

Mathematical Logic

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Logic

Current Trends in Automated Reasoning

Automated Theorem Proving

Theory and Practice

Handbook of Automated Reasoning

Current Trends in Automated Theorem Proving

Automated Deduction

From Theory to Applications

Advances in Automated Reasoning

Unequal

The Maths of When Things Do and Don't Add Up

The Language of Mathematics

The Stories behind the Symbols

How to Prove It

A Structured Approach

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Introduction to Modern Cryptography

Chapman & Hall/Crc Cryptography and Network Security

Introduction to Modern Cryptography

Revised Third Edition

Introduction to Mathematical Logic

Discrete Mathematics and Its Applications

Fuzzy Logic in Revolutionizing Renewable Energy

Jenny Stanford Series on Fuzzy Theory Frontiers Vol. 2

Ignorance

What We Do Not Know, Cannot Know, Must Not Know, and Refuse to Know

Cause, Effect, and Everything in Between

An Introduction to Causal Inference

Strongly Minimal Sets and Categoricity in Continuous Logic

Computable Structure Theory

Beyond the Arithmetic

Fuzzy Logic

An Introductory Text

Modern Mathematical Logic

What Is Mathematical Logic 2E Cloth

The Equation of Knowledge

From Bayes' Rule to a Unified Philosophy of Science

MAGIC GARDEN OF GEORGE B AND OTHER LOGIC PUZZLES, THE

This product is categorised by