Edinburgh Research Archive
Toggle navigation
View Item
ERA Home
Philosophy, Psychology and Language Sciences, School of
Philosophy
Philosophy research publications
View Item
ERA Home
Philosophy, Psychology and Language Sciences, School of
Philosophy
Philosophy research publications
View Item
Login
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
Second-Order Logic
View/
Open
KetlandSecondOrderLogic.pdf (17.51Kb)
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
http://hdl.handle.net/1842/1345
Collections
Philosophy research publications
Search ERA
This Collection
All of ERA
Communities & Collections
By Issue Date
Authors
Titles
Subjects
Publication Type
Sponsor
Supervisors
This Collection
By Issue Date
Authors
Titles
Subjects
Publication Type
Sponsor
Supervisors
Login
Register