Skip to content
pandatutor® Log in
Cover of First-order logic

First-order logic

by Raymond M. Smullyan

1968 158 pages eng

Logic, symbolic and mathematical Mathematics, general Symbolic and mathematical Logic Mathematics

Self-contained study guide to quantification theory based on the analytic tableaux.

Read on Archive.org Open Library Toronto Public Library Libby Amazon

Borrow to read

This scan is available through Internet Archive's free lending library — sign in or create a free account below, then borrow to read.

Reader not loading? Open it on Archive.org instead.

More like this

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