Extensions of First-Order Logic (Cambridge Tracts in Theoretical Computer Science)
Edition: New Ed edition
Publisher: Cambridge University Press
Published: August 22, 2005
Language: eng
Format: Paperback
Number of pages: 410
ISBN-13: 9780521019026
Subjects: Mathematical logic; Programming - Software Development; Logic; Computers; Mathematics; Computer Books: General; Computers / Programming / Software Development; Computers-Programming - Software Development; First-order logic First-order logic; Mathematics / Logic; General; Logic Design; First-order logic
First sentence: Second order logic (SOL) is distinguished first order logic in that it has relational as well as individual variables, and both types of variables can be quantified.