Higher-order logic

Stewart Shapiro

Research output: Chapter in Book/Report/Conference proceeding › Chapter

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

Handle.net

@inbook{14bf6e664ae042d9b788802f2ba53b33,

title = "Higher-order logic",

author = "Stewart Shapiro",

year = "2005",

language = "English",

isbn = "0-19-514877-0",

pages = "751--780",

editor = "Stewart Shapiro",

booktitle = "Oxford handbook for the philosophy of mathematics and logic",

publisher = "Oxford University Press",

address = "United Kingdom",

}