Skip to content

First-order logic

by Raymond M. Smullyan · 1968

Cover of First-order logic
Popularity 10

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

First-order logicLogic, Symbolic and mathematicalSymbolic and mathematical LogicMathematicsMathematics, general