On Second-Order Logic

E2024339 UNEXPLORED

"On Second-Order Logic" is a seminal philosophical and logical essay by George Boolos that defends and clarifies the legitimacy and nature of second-order logic within the foundations of mathematics.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label Occurrences
On Second-Order Logic canonical 1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

George Boolos notableWork On Second-Order Logic