Editing Second-order logic (section)

==Further reading==
* {{cite book
 | author=Andrews, Peter
 | year=2002
 | title=An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
 | edition =2nd
 | publisher=Kluwer Academic Publishers}}
*{{cite journal
 |doi = 10.2307/2026308
 |author = Boolos, George
 |year= 1984
 | title=To Be Is To Be a Value of a Variable (or to Be Some Values of Some Variables)
 | journal=Journal of Philosophy
 | volume=81
 |issue = 8
 |pages=430&ndash;50
 |jstor = 2026308}}. Reprinted in Boolos, ''Logic, Logic and Logic'', 1998.
* {{cite book | last1=Grädel | first1=Erich | last2=Kolaitis | first2=Phokion G. | last3=Libkin | first3=Leonid | author3-link=Leonid Libkin | last4=Maarten | first4=Marx | last5=Spencer | first5=Joel | author5-link=Joel Spencer | last6=Vardi | first6=Moshe Y. | author6-link=Moshe Y. Vardi | last7=Venema | first7=Yde | last8=Weinstein | first8=Scott | title=Finite model theory and its applications | zbl=1133.03001 | series=Texts in Theoretical Computer Science. An EATCS Series | location=Berlin | publisher=[[Springer-Verlag]] | isbn=978-3-540-00428-8 | year=2007 }}
* {{cite journal
 | doi= 10.1016/0315-0860(82)90123-9
 | author= Putnam, Hilary
 |author-link=Hilary Putnam
 | year=1982
 | title=Peirce the Logician
 | journal=Historia Mathematica
 | volume=9
 | pages= 290&ndash;301
 | issue= 3| doi-access=free
 }}. Reprinted in Putnam, Hilary (1990), ''Realism with a Human Face'', [[Harvard University Press]], [https://books.google.com/books?id=7JFTo-ZXROMC&pg=PT252 pp.&nbsp;252&ndash;260].
* {{cite conference
 | author = Rossberg, M.
 | url = http://logic.amu.edu.pl/images/4/46/Completenessrossberg.pdf 
 | title = First-Order Logic, Second-Order Logic, and Completeness
 | book-title = First-order logic revisited
 | editor = V. Hendricks |display-editors=et al
 | publisher = Logos-Verlag
 | location = Berlin
 | year = 2004
}}

{{Mathematical logic}}


[[Category:Systems of formal logic]]
[[Category:Charles Sanders Peirce]]
[[fr:Logique d'ordre supérieur#Logique du second ordre]]