My Wish Lists Login / Join

Mathematical Logic

An Introduction

By: Daniel Cunningham

Write A Review

Paperback | 8 May 2023

At a Glance

Paperback
272 Pages

Dimensions(cm)
24.0 x 17.0 x 1.91

Paperback

RRP $137.19

$131.75

or 4 interest-free payments of $32.94 with

Ships in 5 to 7 business days

Mathematical Logic: An Introduction is a textbook that uses mathematical tools to

investigate mathematics itself. In particular, the concepts of proof and truth are examined.

The book presents the fundamental topics in mathematical logic and presents clear and

complete proofs throughout the text. Such proofs are used to develop the language of

propositional logic and the language of first-order logic, including the notion of a formal

deduction. The text also covers Tarski's definition of truth and the computability concept.

It also provides coherent proofs of Godel's completeness and incompleteness theorems.

Moreover, the text was written with the student in mind and thus, it provides an accessible

introduction to mathematical logic. In particular, the text explicitly shows the reader

how to prove the basic theorems and presents detailed proofs throughout the book. Most

undergraduate books on mathematical logic are written for a reader who is well-versed

in logical notation and mathematical proof. This textbook is written to attract a wider

audience, including students who are not yet experts in the art of mathematical proof.

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 $0.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 Philosophy Philosophy & Logic Mathematics Algebra Mathematical Foundation Mathematical Logic

Mathematical Logic

An Introduction

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Philosophy & Logic

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

Critical Thinking Skills

Effective Analysis, Argument and Reflection

Light on Yoga

The Definitive Guide to Yoga Practice [Thorsons Classics Edition]

Rationality

What It Is, Why It Seems Scarce, Why It Matters

The Logic of Scientific Discovery

Routledge Classics

Interdisciplinarity and the Art of Human Connection

Knowing in a Complex World

Inductive Probability

Routledge Revivals

Probability, Objectivity and Evidence

Routledge Revivals

Aristotle's Organon in Old and New Logic

1800-1950

The Unsaid

Hermetic Poetry Between Hermeneutics and Deconstruction

Analogy and Exemplary Reasoning in Legal Discourse

Philosophy and the Human Sciences

Accommodationism in Mathematics

Reference, Knowledge, and Realism

Philosophy of Language

A Contemporary Introduction

Philosophy of Language

A Contemporary Introduction

Logic Before Language

Rethinking AI in the Age of Illusion, Bertrand Russell and the Future of Real AI

Deleuze's Philosophy of Time and Logic

Kant, Bergson, and the Labyrinth of the Continuum

Late Peirce

The Life and Thought of Charles S. Peirce from 1900-1914

How to Think More and Better

Being Reasonable in Unreasonable Times

Logic-Based Therapy and Consultation

Theory and Applications

Conjectures and Refutations : The Growth of Scientific Knowledge

The Growth of Scientific Knowledge

Unpopular Essays

Routledge Classics

Straight and Crooked Thinking

The Architecture of Nothingness

An Explanation of the Objective Basis of Beauty in Architecture and the Arts

This product is categorised by