Books from £1

39,000+ books at £1. Any 10 of them: £10.

*Minimum spend for free delivery £10, £1.99 otherwise

Cover may vary - this is a stock image

Introduction to Mathematical Logic, Fourth Edition(Discrete Mathematics and Its Applications)

by Elliott Mendelson

Format: Hardback

Condition: Poor Condition — £19.47

Poor Condition — £19.47

What do the conditions mean?

Our conditions mean the following:

New - a brand new book
Almost New - appears new but is actually secondhand.
Very Good - only minor imperfections such as minor scuffs to edge or cover or a price written in pencil or shop sticker.
Standard Secondhand - Clearly been read before, but not too bad. We do not recommend these for gifting. Spines usually creased. Could also include creases or folds to cover, some writing such as in the cover or elsewhere, underlining or highlighting, but might not do. Possibly some stains or marks. Similar in general to books in any secondhand shop or charity shop.
Poor Condition - Usually this will have a specific problem such as writing inside, water damage, missing dust jacket, heavy staining, large creases or cuts. These are readable copies but not nice ones. On other websites this condition is called 'Acceptable' or 'Fair' , but we want to be more honest.

£19.47

Sale Sold out

Taxes included. Shipping calculated at checkout.

Low stock: 2 left

The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow models with empty domains. The text contains numerous exercises and an appendix furnishes answers to many of them.
Introduction to Mathematical Logic includes:

propositional logic

first-order logic

first-order number theory and the incompleteness and undecidability theorems of Gödel, Rosser, Church, and Tarski

axiomatic set theory

theory of computability
The study of mathematical logic, axiomatic set theory, and computability theory provides an understanding of the fundamental assumptions and proof techniques that form basis of mathematics. Logic and computability theory have also become indispensable tools in theoretical computer science, including artificial intelligence. Introduction to Mathematical Logic covers these topics in a clear, reader-friendly style that will be valued by anyone working in computer science as well as lecturers and researchers in mathematics, philosophy, and related fields.

Similar booksMore Science →

Statutes on Contract, Tort and Restitution 2004/2005 (Blackstone's Statute Series)

Genre: Mathematics, Set Theory
Format: Hardback
Published: 1997
Pages: 440
Publisher: CRC Press
ISBN: 9780412808302

Payment method

Condition Descriptions

Our conditions mean the following:

New - a brand new book
Almost New - appears new but is actually secondhand.
Very Good - only minor imperfections such as minor scuffs to edge or cover or a price written in pencil or shop sticker.
Standard Secondhand - Clearly been read before, but not too bad. We do not recommend these for gifting. Spines usually creased. Could also include creases or folds to cover, some writing such as in the cover or elsewhere, underlining or highlighting, but might not do. Possibly some stains or marks. Similar in general to books in any secondhand shop or charity shop.
Poor Condition - Usually this will have a specific problem such as writing inside, water damage, missing dust jacket, heavy staining, large creases or cuts. These are readable copies but not nice ones. On other websites this condition is called 'Acceptable' or 'Fair' , but we want to be more honest.

Shipping and Delivery

Free UK shipping over £10.
Under £10, shipping is £1.99.
Express shipping £2.99.
Choose 10 £1 books for £10 including shipping!
International shipping available to select countries, proceed to checkout to see prices.