← Back to discovery

First-order logic

Raymond M. Smullyan

1968158 pagesabout 2–4 hours
1968
first published
  • 1968Springer-Verlag · 158 pages · ENGISBN 9783540040996
  • 1968Springer-Verlag · 158 pages · ENG
  • 1968Springer · 158 pages · ENG
  • 1995Dover · 158 pages · ENGISBN 9780486683706
  • 2012Springer · 172 pagesISBN 9783642867200
  • 1968Springer Verlag · 158 pagesISBN 9780387040998
NeutralShort read

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

Content notesnot yet assessed

Quotesnone available

How do you feel?