Second-order and higher-order logic

Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia / dictionaryScientificpeer-review

Original languageEnglish
Title of host publicationStanford Encyclopedia of Philosophy
EditorsEdward N. Zalta
PublisherMetaphysics Research Lab, Stanford
Publication date1 Aug 2019
Publication statusPublished - 1 Aug 2019
MoE publication typeA3 Book chapter

Publication series

NameStanford encyclopedia of philosophy
PublisherStanford University
ISSN (Print)1095-5054

Fields of Science

  • 111 Mathematics

Cite this