Editing Higher-order logic (section)

==References==
* [[Peter B. Andrews (mathematician)|Andrews, Peter B.]] (2002). ''An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof'', 2nd ed, Kluwer Academic Publishers, {{ISBN|1-4020-0763-9}}
* [[Stewart Shapiro]], 1991, "Foundations Without Foundationalism: A Case for Second-Order Logic". Oxford University Press., {{ISBN|0-19-825029-0}}
* [[Stewart Shapiro]], 2001, "Classical Logic II: Higher Order Logic," in Lou Goble, ed., ''The Blackwell Guide to Philosophical Logic''. Blackwell, {{ISBN|0-631-20693-0}}
* [[Joachim Lambek|Lambek, J.]] and Scott, P. J., 1986. ''Introduction to Higher Order [[Categorical logic|Categorical Logic]]'', Cambridge University Press, {{ISBN|0-521-35653-9}}
* {{cite book
  | last = Jacobs
  | first = Bart
  | date = 1999
  | title = Categorical Logic and Type Theory
  | publisher = North Holland, Elsevier
  | isbn =  0-444-50170-3
  | series = Studies in Logic and the Foundations of Mathematics 141
  | url = https://www.cs.ru.nl/B.Jacobs/CLT/bookinfo.html }}
* {{cite book |last1=Benzmüller |first1=Christoph |last2=Miller |first2=Dale |editor1-last=Gabbay |editor1-first=Dov M. |editor2-last=Siekmann |editor2-first=Jörg H. |editor3-last=Woods |editor3-first=John |date=2014 |title=Handbook of the History of Logic, Volume 9: Computational Logic |chapter=Automation of Higher-Order Logic |publisher=Elsevier |isbn=978-0-08-093067-1}}