Symbolic and mathematical
-
Computability and Logic
$59.50 Add to cartComputability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic cour… [more below]
- Author: Boolos, George
- Binding: Paperback
- Page Count: 366
- Publish Date: September 17 2007
- ISBN10: 0521701465
- Language: English
-
Set Theory and the Continuum Hypothesis
$14.95 Add to cartThis exploration of a notorious mathematical problem is the work of the man who discovered the solution. The award-winning author employs intuitive explanations and detailed proofs in this self-contai… [more below]
- Series: Dover Books on Mathematics
- Author: Cohen, Paul J.
- Binding: Paperback
- Page Count: 190
- Publish Date: December 09 2008
- ISBN10: 0486469212
- Language: English
-
A Profile of Mathematical Logic
$21.95 Add to cartThis text explores the historical reasons for the formation of Aristotelian logic, the rise of mathematical logic, the nature of the formal axiomatic method and its use, and the main results of metath… [more below]
- Series: Dover Books on Mathematics
- Author: DeLong, Howard
- Binding: Paperback
- Page Count: 304
- Publish Date: June 17 2004
- ISBN10: 0486434753
- Language: English
-
Toposes and Local Set Theories: An Introduction
$16.95 Add to cartTopos theory has led to unexpected connections between classical and constructive mathematics. This text explores Lawvere and Tierney’s concept of topos theory, a development in category theory that u… [more below]
- Series: Dover Books on Mathematics
- Author: Bell, J. L.
- Binding: Paperback
- Page Count: 290
- Publish Date: January 11 2008
- ISBN10: 0486462862
- Language: English
-
Mathematical Logic
$24.95 Add to cartUndergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Par… [more below]
- Series: Dover Books on Mathematics
- Author: Kleene, Stephen
- Binding: Paperback
- Page Count: 432
- Publish Date: December 18 2002
- ISBN10: 0486425339
- Language: English
-
Proofs and Refutations
$28.00 Add to cartImre Lakatos’s Proofs and Refutations is an enduring classic, which has never lost its relevance. Taking the form of a dialogue between a teacher and some students, the book considers various solution… [more below]
- Series: Cambridge Philosophy Classics
- Author: Lakatos, Imre
- Binding: Paperback
- Page Count: 196
- Publish Date: October 08 2015
- ISBN10: 1107534054
- Language: English
-
Introduction to Symbolic Logic and Its Applications
$14.95 Add to cartA clear, comprehensive, and rigorous treatment develops the subject from elementary concepts to the construction and analysis of relatively complex logical languages. It then considers the application… [more below]
- Author: Carnap, Rudolf
- Binding: Paperback
- Page Count: 272
- Publish Date: June 01 1958
- ISBN10: 0486604535
- Language: English
-
Proof in Geometry
$9.95 Add to cartThis single-volume compilation of 2 books explores the construction of geometric proofs. It offers useful criteria for determining correctness and presents examples of faulty proofs that illustrate co… [more below]
- Series: Dover Books on Mathematics
- Author: Fetisov, A. I.
- Binding: Paperback
- Page Count: 146
- Publish Date: November 17 2006
- ISBN10: 0486453545
- Language: English
-
Is God a Mathematician?
$20.00 Add to cartBestselling author and astrophysicist Mario Livio examines the lives and theories of history’s greatest mathematicians to ask how–if mathematics is an abstract construction of the human mind–it can … [more below]
- Author: Livio, Mario
- Binding: Paperback
- Page Count: 320
- Publish Date: January 19 2010
- ISBN10: 0743294068
- Language: English
-
Gödel’s Theorem: A Very Short Introduction
$12.99 Add to cartbVery Short Introductions: Brilliant, Sharp, Inspiring /b
Kurt Gödel first published his celebrated theorem, showing that no axiomatization can determine the whole truth and nothing but the truth con- Series: Very Short Introductions
- Author: Moore, A. W.
- Binding: Paperback
- Page Count: 152
- Publish Date: February 23 2023
- ISBN10: 0192847856
- Language: English
