Poetry Madness
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Original Essays | April 6, 2015

    Mary Norris: IMG Voracious



    In the summer of 2012, I got a contract for a book about language, based on my experiences of more than 30 years as a copy editor at The New Yorker.... Continue »
    1. $17.47 Sale Hardcover add to wish list

    spacer
Qualifying orders ship free.
$29.95
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
Qty Store Section
1 Burnside Mathematics- Foundations and Logic
25 Remote Warehouse Mathematics- Logic and Philosophy

An Introduction to Mathematical Logic (Dover Books on Mathematics)

by

An Introduction to Mathematical Logic (Dover Books on Mathematics) Cover

 

Synopses & Reviews

Publisher Comments:

Widely praised for its clarity and thorough coverage, this comprehensive overview of mathematical logic is suitable for readers of many different backgrounds. Designed primarily for advanced undergraduates and graduate students of mathematics, the treatment also contains much of interest to advanced students in computer science and philosophy.

An introductory section prepares readers for successive chapters on propositional logic and first-order languages and logic. Subsequent chapters shift in emphasis from an approach to logic from a mathematical point of view to the interplay between mathematics and logic. Topics include the theorems of Gödel, Church, and Tarski on incompleteness, undecidability, and indefinability; a rigorous treatment of recursive functions and recursive relations; computability theory; and Hilbert's Tenth Problem. Numerous exercises appear throughout the text, and an appendix offers helpful background on number theory.

Dover (2013) republication of the edition published by PWS Publishing Company, Boston, 1995.

See every Dover book in print at

www.doverpublications.com

Synopsis:

Comprehensive overview, suitable for advanced undergraduates and graduate students, covers propositional logic; first-order languages and logic; incompleteness, undecidability, and indefinability; recursive functions; computability; and Hilbert's Tenth Problem. 1995 edition.

Synopsis:

This comprehensive overview of mathematical logic is designed primarily for advanced undergraduates and graduate students of mathematics. The treatment also contains much of interest to advanced students in computer science and philosophy. Topics include propositional logic; first-order languages and logic; incompleteness, undecidability, and indefinability; recursive functions; computability; and Hilbert's Tenth Problem. 1995 edition.

Table of Contents

Preface
1. Background
2. Language and Semantics of Propositional Logic
3. Propositional Logic
4. First-Order Languages
5. First-Order Logic
6. Mathematics and Logic
7. Incompleteness, Undecidability and Indefinability
8. Recursive Functions
9. Compatability Theory
10. Hilbert's Tenth Problem
Appendix: Number Theory
References and recommended readings
Index

Product Details

ISBN:
9780486497853
Author:
Hodel, Richard E.
Publisher:
Dover Publications
Subject:
Logic
Subject:
Mathematics-Logic and Philosophy
Edition Description:
Trade Paper
Series:
Dover Books on Mathematics
Publication Date:
20130231
Binding:
TRADE PAPER
Language:
English
Pages:
510
Dimensions:
9.25 x 6.13 in

Related Subjects

Humanities » Philosophy » Logic
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Logic and Philosophy

An Introduction to Mathematical Logic (Dover Books on Mathematics) New Trade Paper
0 stars - 0 reviews
$29.95 In Stock
Product details 510 pages Dover Publications - English 9780486497853 Reviews:
"Synopsis" by ,
Comprehensive overview, suitable for advanced undergraduates and graduate students, covers propositional logic; first-order languages and logic; incompleteness, undecidability, and indefinability; recursive functions; computability; and Hilbert's Tenth Problem. 1995 edition.
"Synopsis" by ,
This comprehensive overview of mathematical logic is designed primarily for advanced undergraduates and graduate students of mathematics. The treatment also contains much of interest to advanced students in computer science and philosophy. Topics include propositional logic; first-order languages and logic; incompleteness, undecidability, and indefinability; recursive functions; computability; and Hilbert's Tenth Problem. 1995 edition.
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.