Formalism (Deductive)

Bestselling in Formalism (Deductive)

Skip carousel

carousel previous carousel next

Nonplussed!: Mathematical Proof of Implausible Ideas
Author Julian Havil
Introduction to Logic: and to the Methodology of Deductive Sciences
Author Alfred Tarski
Machine Learning: A Bayesian and Optimization Perspective
Author Sergios Theodoridis
Impossible?: Surprising Solutions to Counterintuitive Conundrums
Author Julian Havil
How Much is a Million?
Author David M. Schwartz
Elements of Mathematics: From Euclid to Gödel
Author John Stillwell
How to Solve It: A New Aspect of Mathematical Method
Author G. Polya
Introduction to Symbolic Logic and Its Applications
Author Rudolf Carnap
Gunpowder and Geometry: The Life of Charles Hutton, Pit Boy, Mathematician and Scientific Rebel
Author Benjamin Wardhaugh
Reverse Mathematics: Proofs from the Inside Out
Author John Stillwell
Redeeming Mathematics: A God-Centered Approach
Author Vern S. Poythress
Things to Make and Do in the Fourth Dimension: A Mathematician's Journey Through Narcissistic Numbers, Optimal Dating Algorithms, at Least Two Kinds of Infinity, and More
Author Matt Parker
How to Ace the Rest of Calculus: The Streetwise Guide, Including MultiVariable Calculus
Author Colin Adams
How to Bake Pi: An Edible Exploration of the Mathematics of Mathematics
Author Eugenia Cheng
The Mathematical Tourist: New and Updated Snapshots of Modern Mathematics
Author Ivars Peterson
Riddles in Mathematics: A Book of Paradoxes
Author Eugene P Northrop
A Beginner's Guide to Mathematical Logic
Author Raymond M. Smullyan
A Strange Wilderness: The Lives of the Great Mathematicians
Author Amir D. Aczel
Turing and the Universal Machine (Icon Science): The Making of the Modern Computer
Author Jon Agar
The Art of the Infinite: The Pleasures of Mathematics
Author Robert Kaplan
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference
Author Judea Pearl
What Is Mathematical Logic?
Author J.N. Crossley
The Handbook of Artificial Intelligence: Volume 3
Author Elsevier Books Reference
The Handbook of Artificial Intelligence: Volume 1
Author Elsevier Books Reference
Logic: The Laws of Truth
Author Nicholas J.J. Smith
Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference
Author Elsevier Books Reference
The Importance of Being Fuzzy: And Other Insights from the Border between Math and Computers
Author Arturo Sangalli
Practical Statistics Simply Explained
Author Dr. Russell A. Langley
Math Bytes: Google Bombs, Chocolate-Covered Pi, and Other Cool Bits in Computing
Author Tim P. Chartier
Computability and Unsolvability
Author Martin Davis

View All In Formalism (Deductive)

Formalism (Deductive)

Bestselling in Formalism (Deductive)

Nonplussed!: Mathematical Proof of Implausible Ideas

Introduction to Logic: and to the Methodology of Deductive Sciences

Machine Learning: A Bayesian and Optimization Perspective

Impossible?: Surprising Solutions to Counterintuitive Conundrums

How Much is a Million?

Elements of Mathematics: From Euclid to Gödel

How to Solve It: A New Aspect of Mathematical Method

Introduction to Symbolic Logic and Its Applications

Gunpowder and Geometry: The Life of Charles Hutton, Pit Boy, Mathematician and Scientific Rebel

Reverse Mathematics: Proofs from the Inside Out

Redeeming Mathematics: A God-Centered Approach

Things to Make and Do in the Fourth Dimension: A Mathematician's Journey Through Narcissistic Numbers, Optimal Dating Algorithms, at Least Two Kinds of Infinity, and More

How to Ace the Rest of Calculus: The Streetwise Guide, Including MultiVariable Calculus

How to Bake Pi: An Edible Exploration of the Mathematics of Mathematics

The Mathematical Tourist: New and Updated Snapshots of Modern Mathematics

Riddles in Mathematics: A Book of Paradoxes

A Beginner's Guide to Mathematical Logic

A Strange Wilderness: The Lives of the Great Mathematicians

Turing and the Universal Machine (Icon Science): The Making of the Modern Computer

The Art of the Infinite: The Pleasures of Mathematics

Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference

What Is Mathematical Logic?

The Handbook of Artificial Intelligence: Volume 3

The Handbook of Artificial Intelligence: Volume 1

Logic: The Laws of Truth

Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference

The Importance of Being Fuzzy: And Other Insights from the Border between Math and Computers

Practical Statistics Simply Explained

Math Bytes: Google Bombs, Chocolate-Covered Pi, and Other Cool Bits in Computing

Computability and Unsolvability