Second-Order Logic

View/Open
Date
2005
Author
Ketland, Jeffrey
Metadata
Show full item record
Abstract
Second-order logic is the extension of first-order logic obtaining by introducing quantification of predicate and function variables.
URI
Collections