Original language | English |
---|---|
Title of host publication | Oxford handbook for the philosophy of mathematics and logic |
Editors | Stewart Shapiro |
Publisher | Oxford University Press |
Pages | 751-780 |
ISBN (Print) | 0-19-514877-0 |
Publication status | Published - 2005 |
Higher-order logic
Stewart Shapiro
Research output: Chapter in Book/Report/Conference proceeding › Chapter