Tutor AI

Logique symbolique et mathématique

Featured — award winners and classics first, when available. Use “Show different books” for a new selection.

🔄 Show different books

Word and object

Willard Van Orman Quine

1960

Philosophische Bemerkungen

Ludwig Wittgenstein

1975

Informal logic

John W. Kenelly

1967

Roads to infinity

John C. Stillwell

2010

Mathematical Logic and Formal Systems (Lecture Notes in Pure and Applied Mathematics)

Alcantara

1985

Non-standard analysis

Abraham Robinson

1966

Bond non-verbal reasoning

Alison Primrose

2014

Symbolic Logic and The Game of Logic

Lewis Carroll

1958

Gödel's proof

Ernest Nagel, James Roy Newman

1958 ★ 3.7

The logical syntax of language

Rudolf Carnap

1937

Communication

David Harrah

1963

Symbolic Logic

Lewis Carroll

1977

First course in mathematical logic

Patrick Suppes

1964

Deducibility and decidability

R. R. Rockingham Gill

1990

Mathematical Logic

Stephen Cole Kleene

1987

Logic Posters, Problems & Puzzles (Grades 3-6)

Honi Joyce Bamberger

1999

Logic for problem solving

Robert Kowalski

1979

Methods of logic

Willard Van Orman Quine

1972

Finite mathematics with applications

A. W. Goodman

1971

An introduction to symbolic logic

Susanne Katherina (Knauth) Langer

1953

Theoremus

L. P. Cruz

2015

Handbook of mathematical induction

David S. Gunderson

2011

Introduction to Mathematical Logic, Fifth Edition (Discrete Mathematics and Applications)

Elliott Mendelson

1997

Mathematics and plausible reasoning

George Pólya

1954 ★ 4.0

Logic matters

Peter Thomas Geach

1972

Fundamentals of symbolic logic

Alice Ambrose

1948

Euclid in the Rainforest

Joseph Mazur

2005

Representing and reasoning with probabilistic knowledge

Fahiem Bacchus

1990 ★ 3.3

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

George Boole

1854

Advances in mathematical systems theory

Preston C. Hammer

1994