Get Free Shipping on orders over $79
Logic for Mathematicians : Dover Books on Mathematics - J Barkley Rosser, Jr.

Logic for Mathematicians

By: J Barkley Rosser, Jr., Mathematics

Paperback | 18 December 2008 | Edition Number 2

At a Glance

Paperback


RRP $42.85

$41.99

or 4 interest-free payments of $10.50 with

 or 

Ships in 5 to 7 business days

Hailed by the Bulletin of the American Mathematical Society as ""undoubtedly a major addition to the literature of mathematical logic,"" this volume examines the essential topics and theorems of mathematical reasoning. No background in logic is assumed, and the examples are chosen from a variety of mathematical fields.Starting with an introduction to symbolic logic, the first eight chapters develop logic through the restricted predicate calculus. Topics include the statement calculus, the use of names, an axiomatic treatment of the statement calculus, descriptions, and equality. Succeeding chapters explore abstract set theory-with examinations of class membership as well as relations and functions-cardinal and ordinal arithmetic, and the axiom of choice. An invaluable reference book for all mathematicians, this text is suitable for advanced undergraduates and graduate students. Numerous exercises make it particularly appropriate for classroom use.

More in Mathematical Logic

Current Trends in Automated Reasoning - Erika Bach
Handbook of Automated Reasoning - Rachel Phillips
Advances in Automated Reasoning - Rachel Phillips
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
Introduction to Modern Cryptography : Revised Third Edition - Jonathan  Katz
How to Prove It : A Structured Approach - Daniel J. Velleman

RRP $73.95

$69.99

Fuzzy Logic : An Introductory Text - Lukas Brooks
Modern Mathematical Logic - Agustin Willmott