Book
First-order logicRaymond M. Smullyan

First-order logic

Raymond M. Smullyan
1968158 pages
Be the first to rate
4 editions · 2 languages

Track this book

You choose which shelves are public. Progress and read dates stay yours.
Sign up to track
Add to list

About

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

More by Raymond M. Smullyan

All books

More like this

Reviews

Rating integrity

Healthy
Counted ratings come from accounts older than 7 days and were made on or after publication. Finished readers weigh ×1.0. Readers who have not finished yet weigh ×0.5. Did-not-finish ratings are shown but not counted.

Editions

4 editions · 2 languages
  • Other · English · 1995
    Dover · 158 pages · 9780486683706
  • Other · English · 1968
    Springer Verlag · 158 pages · 9780387040998
  • Paperback · German · 2012
    Springer · 172 pages · 9783642867200
  • Other · German · 1968
    Springer-Verlag · 158 pages · 9783540040996
First-order logicLogic, Symbolic and mathematicalSymbolic and mathematical LogicMathematicsMathematics, general