First-order logic

This self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in “”analytic”” or “”cut free”” methods. The focus is on the tableau point of… [more below]

• Series: Dover Books on Mathematics
• Author: Smullyan, Raymond M.
• Binding: Paperback
• Page Count: 176
• Publish Date: January 30 1995
• ISBN10: 0486683702
• Language: English