Logic

1 - 10 of 113 Results
Sort by:
  • In 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic…

    Godel's Proof

    By Ernest Nagel , James R. Newman , Doug… rating of short cover   ( 1 customer rating) NYU Press, October 2001 ISBN: 9780814758014 Mathematics, Logic Language:  English
    Download options: Adobe DRM EPUB
    1 1
  • Lewis Carroll's Miscellaneous Pieces includes The Game of Logic (1886) Eight or Nine Wise Words about Letter Writing (1890) and Feeding the Mind (1907). In the first work Carroll presents a…

    Miscellaneous Pieces

    By Carroll Lewis ReadHowYouWant, July 2009 ISBN: 9781442947252 Mathematics, Logic Language:  English
    2 2
  • “A fine mathematical biography.”—John Allen Paulos, New York Times Book ReviewJust when we thought we knew everything about Lewis Carroll, here comes this “insightful . . . scholarly . . . serious…

    Lewis Carroll in Numberland: His Fantastical Mathematical Logical Life

    By Robin Wilson rating of short cover   ( 120 customer ratings) W. W. Norton & Company, June 2010 ISBN: 9780393072105 Mathematics, Logic Language:  English
    Download options: Adobe DRM EPUB
    3 3
  • Now in a new edition!--the classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions…
    • $19.39 List price: $22.99 You save: 16% ($3.60)

      BUY NOW

    Computability: Computable Functions, Logic, and the Foundations of Mathematics

    By Epstein, Richard L. Advanced Reasoning Forum, June 2008 ISBN: 9780981550732 Philosophy, Logic Language:  English
    Download options: Adobe DRM PDF
    4 4
  • Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the…
    • $54.89 List price: $61.00 You save: 10% ($6.11)

      BUY NOW

    Lambda-Calculus and Combinators

    By Hindley, J. Roger Cambridge University Press, July 2008 ISBN: 9780511410963 Reference & Language, Education & Teaching Language:  English
    Download options: Adobe DRM PDF
    5 5
  • A perennial bestseller by eminent mathematician G. Polya, How to Solve It will show anyone in any field how to think straight.In lucid and appealing prose, Polya reveals how the mathematical method of…

    How to Solve It - A New Aspect of Mathematical Method

    Princeton Science Library By G. Polya rating of short cover   ( 4 customer ratings) Princeton University Press, September 2008 ISBN: 9781400828678 Mathematics, Logic Language:  English
    Download options: Adobe DRM EPUB
    6 6
  • This book is about the basic principles that underlie critical thinking and creativity. The majority of the content is on critical thinking since more topics are naturally involved and since they can…

    An Introduction to Critical Thinking and Creativity - Think More, Think Better

    By J. Y. F. Lau Wiley, December 2011 ISBN: 9781118033432 Mathematics, Logic Language:  English
    Download options: Adobe DRM EPUB
    7 7
  • Category theory provides a general conceptual framework that has proved fruitful in subjects as diverse as geometry, topology, theoretical computer science and foundational mathematics. Here is a…

    An Introduction to Category Theory

    By Harold Simmons Cambridge University Press, September 2011 ISBN: 9781139235099 Mathematics, Logic Language:  English
    Download options: Adobe DRM EPUB
    8 8
  • Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This new edition of Velleman's successful text will prepare students to make the…

    How to Prove It - A Structured Approach

    By Daniel J. Velleman Cambridge University Press, January 2006 ISBN: 9781139234948 Mathematics, Logic Language:  English
    Download options: Adobe DRM EPUB
    9 9
  • The concepts of a locally presentable category and an accessible category have turned out to be useful in formulating connections between universal algebra, model theory, logic and computer science…
    • $84.59 List price: $94.00 You save: 10% ($9.41)

      BUY NOW

    Locally Presentable and Accessible Categories

    By Adamek, J. Cambridge University Press, March 1994 ISBN: 9780511892615 Mathematics, Logic Language:  English
    Download options: Adobe DRM PDF
    10 10
1 - 10 of 113 Results

    {1}

    By: {2}

    Available on: {3}

    Coming soon

    Secure Transaction

    Subtotal

    Store Credit

    Total

    We'll charge your credit card {4} on {3}.

    We'll charge your credit card {4} when the book is added to your Library.

    Your store credit covers the cost of this purchase, so we don't charge your credit card

    Use Quick Buy for all eBook purchases.
    {0}
    By clicking Buy Now, I agree to Kobo's Terms of Sale. BUY NOW Pre-Order

    Thank you for your purchase

    Thanks for pre-ordering

    {2} is now in your library. You'll receive an email confirming your purchase very soon.

    {2} has been pre-ordered. You'll receive a confirmation email confirming your pre-order very soon.

    You were charged:

    You will be charged: on {3}

    You will be charged: when the book is added to your Library

    Rakuten Super Points earned: {1}

    Rakuten Super Points {1} earned after the book is added to your Library

    {0}
    Continue shopping