First-order logic
Publisher: Unknown Publisher
GenreScience & Mathematics
Rating
Reviews0
About This Book
Self-contained study guide to quantification theory based on the analytic tableaux.
ISBN: 9783642867200
0Reader Reviews
Unlock Exclusive Content
Experience the hidden layers of 'First-order logic'. Scan the book cover with the Appilog mobile app to see behind-the-scenes videos, author reviews, and interactive digital stories.
Author Commentary
Interactive Content
Available on iOS & Android
