An edition of First-order logic (1968)

First-order logic

By Raymond M. Smullyan

0 (0 Ratings)

9 Want to read0 Currently reading0 Have read

Publish Date

1968

Publisher

Springer-Verlag

Language

eng

Pages

158

Description:

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

subjects: First-order logic, Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Mathematics, Mathematics, general