Editing Second-order logic (section)

==References==
{{Reflist}}

===Works cited===
* {{cite journal
 | last = Henkin
 | first = L.
 | title = Completeness in the theory of types
 | journal = Journal of Symbolic Logic
 | volume = 15
 | year = 1950
 | pages = 81–91
 | issue = 2
 | doi = 10.2307/2266967
| jstor=2266967| s2cid = 36309665
 }}
* {{cite book
 | last = Hinman
 | first = P.
 | title = Fundamentals of Mathematical Logic
 | publisher = A K Peters
 | year = 2005
 | isbn = 1-56881-262-0}}
* {{cite book
 | last = Shapiro
 | first=  S.
 | author-link = Stewart Shapiro
 | title = ''Foundations without Foundationalism: A Case for Second-Order Logic''
 | publisher = Clarendon Press
 | location = Oxford
 | year = 2000
 | orig-year = 1991
 | isbn = 0-19-825029-0}}
* {{cite journal
 | last = Väänänen
 |first = J.
 | url = http://www.math.helsinki.fi/logic/people/jouko.vaananen/VaaSec.pdf
 | title = Second-Order Logic and Foundations of Mathematics
 | journal = Bulletin of Symbolic Logic
 | volume = 7
 | issue = 4
 | year = 2001
 | pages = 504–520
 | doi = 10.2307/2687796
 | jstor = 2687796
 | citeseerx = 10.1.1.25.5579
 |s2cid = 7465054
 |archive-url = https://web.archive.org/web/20231008112652/http://www.math.helsinki.fi/logic/people/jouko.vaananen/VaaSec.pdf
 |archive-date = 8 October 2023
 }}
*{{cite book
 | first = W. V. 
 | last = Quine
 | title = Philosophy of Logic
 | url = https://books.google.com/books?id=S_NhnP0izA4C
 | year = 1970
 | publisher = [[Prentice Hall]]
| isbn = 9780674665637
 }}