Introduction to Mathematical Logic - Discrete Mathematics and its Applications 48 (Hardback)
  • Introduction to Mathematical Logic - Discrete Mathematics and its Applications 48 (Hardback)
zoom

Introduction to Mathematical Logic - Discrete Mathematics and its Applications 48 (Hardback)

(author), (series editor)
£49.99
Hardback 494 Pages / Published: 13/08/2009
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Godel, Church, Kleene, Rosser, and Turing. New to the Fifth Edition * A new section covering basic ideas and results about nonstandard models of number theory * A second appendix that introduces modal propositional logic * An expanded bibliography * Additional exercises and selected answers This long-established text continues to expose students to natural proofs and set-theoretic methods. Only requiring some experience in abstract mathematical thinking, it offers enough material for either a one- or two-semester course on mathematical logic.

Publisher: Taylor & Francis Inc
ISBN: 9781584888765
Number of pages: 494
Weight: 839 g
Dimensions: 234 x 156 x 30 mm
Edition: 5th Revised edition

You may also be interested in...

Modern Logic
Added to basket
£77.99
Paperback
Logic
Added to basket
£10.99
Paperback
Alan Turing's Systems of Logic
Added to basket
How to Prove It
Added to basket
Equation That Couldn't be Solved
Added to basket
Godel's Proof
Added to basket
£10.99
Paperback
Foundation Mathematics for Biosciences
Added to basket
Introducing Infinity
Added to basket
Sets, Logic and Categories
Added to basket
Numbers and Proofs
Added to basket
£46.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.