Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
[deleted] comments on
Second-Order Logic: The Controversy
[deleted]
5 Jan 2013 2:22 UTC
6
points
Eliezer is correct. See
SEP on HOL
.
Back to top
Eliezer is correct. See SEP on HOL.