Notes on Logic and Set Theory

By: P. T. Johnstone

Write A Review

Paperback | 7 December 1987

At a Glance

Paperback
124 Pages

Dimensions(cm)
21.59 x 13.97 x 0.74

Paperback

RRP $91.95

$90.75

or 4 interest-free payments of $22.69 with

Ships in 5 to 7 business days

This short textbook provides a succinct introduction to mathematical logic and set theory, which together form the foundations for the rigorous development of mathematics. It will be suitable for all mathematics undergraduates coming to the subject for the first time. The book is based on lectures given at the University of Cambridge and covers the basic concepts of logic: first order logic, consistency, and the completeness theorem, before introducing the reader to the fundamentals of axiomatic set theory. There are also chapters on recursive functions, the axiom of choice, ordinal and cardinal arithmetic and the incompleteness theorems. Dr Johnstone has included numerous exercises designed to illustrate the key elements of the theory and to provide applications of basic logical concepts to other areas of mathematics. Consequently the book, while making an attractive first textbook for those who plan to specialise in logic, will be particularly valuable for mathematics and computer scientists whose primary interests lie elsewhere.

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

You Can Find This Book In

Non-Fiction Mathematics Mathematical Foundation Mathematical Logic Set Theory Combinatorics & Graph Theory

Preface
Universal algebra
Propositional calculus
First-order theories
Recursive functions
Zermelo - Fraenkel set theory
Ordinals and well -orderings
The axiom of choice
Cardinal arithmetic
Consistency and independence
Index of definitions
Index of names
Table of Contents provided by Publisher. All Rights Reserved.

Notes on Logic and Set Theory

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Logic

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

Volume II

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

Volume II

Handbook of Automated Reasoning

Current Trends in Automated Theorem Proving

Current Trends in Automated Reasoning

The Language of Mathematics

The Stories behind the Symbols

The Times Fiendish Su Doku Book 19

200 challenging Su Doku puzzles

The Times Ultimate Killer Su Doku Book 18

200 of the deadliest Su Doku puzzles

Unequal

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

The Times Samurai Su Doku 14

100 extreme puzzles for the fearless Su Doku warrior

Artificial Conscience for the Quantum Physicist

Conscious Machines Tackling Quantum Mysteries

Covert Communication in the Meta Era

Blending Steganography with Augmented Reality and Artificial Intelligence

Introduction to Modern Cryptography

Revised Third Edition

Advanced Techniques and Applications of Cybersecurity and Forensics

Emerging Technologies

AI and Blockchain in Smart Grids

Fundamentals, Methods, and Applications

Attack-and-Defense Games for Control Systems

Analysis and Synthesis

Blockchain and Digital Twin Applications in Smart Agriculture

Security, Privacy, and Trust in WBANs and E-Healthcare

Mathematical Foundations of Blockchains

Engineering Principles, Volume 2

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 Mathematical Logic

Discrete Mathematics and Its Applications

Logic For Dummies

For Dummies

Parabolic Problems

60 Years of Mathematical Puzzles in Parabola

This product is categorised by