How to solve it

George Pólya

1957 ★ 3.7

Discrete Mathematics and Its Applications

Kenneth H. Rosen

1995 ★ 4.7

Tractatus logico-philosophicus

Bertrand Russell, Ivo Hernández, Isidoro Reguera Pérez et al.

1922 ★ 4.4

How to prove it

Daniel J. Velleman

2006

Understanding Symbolic Logic

Markosian, Virginia Klenk

1989

The Logic Book

Merrie Bergmann

1990

Mathematics and plausible reasoning

George Pólya

1954 ★ 4.0

Principia mathematica

Bertrand Russell, Alfred North Whitehead

1910

An Investigation of the Laws of Thought (Barnes & Noble)

George Boole

1854

Algèbre de la logique

Louis Couturat

1905

Is God a mathematician?

Mario Livio

2009

Proofs and refutations

John Worrall, Imre Lakatos, Elie Zahar

1976

The art of reasoning

David Kelley

1990

Representing and reasoning with probabilistic knowledge

Fahiem Bacchus

1990 ★ 3.3

A concise introduction to pure mathematics

Martin Liebeck, M. W. Liebeck

2000

Computation: finite and infinite machines

Marvin Minsky

1967

Grundlagen der Arithmetik

Gottlob Frege

1953

Infinity and the mind

Rudy Rucker

1982

Schaum's outline of theory and problems of discrete mathematics

Seymour Lipschutz, Marc Lipson, Seymor Lipschutz

1976

Word and object

Willard Van Orman Quine

1960

The Essential Turing

Alan Mathison Turing, Jack Copeland

2004

Mathematical proofs

Solow, Daniel Solow

1990

Symbolic logic

Irving Marmer Copi

1965

The art of reasoning

David Kelley

1994

Mathematical logic

Willard Van Orman Quine

1947

Essence of logic

John J. Kelly

1997

Logic

Stan Baronett

2007

A Beginners Guide To Mathematical Logic

Raymond M. Smullyan

2014

First-order logic

Raymond M. Smullyan

1968

Logic and knowledge, essays 1901-1950

Bertrand Russell

1956