Editing Well-formed formula (section)

==References==
*{{citation
  |first1=Layman E.
  |last1= Allen
  |title=Toward Autotelic Learning of Mathematical Logic by the WFF 'N PROOF Games
  | journal= Mathematical Learning: Report of a Conference Sponsored by the Committee on Intellective Processes Research of the Social Science Research Council
  |series= Monographs of the Society for Research in Child Development
  |volume=30
  |issue=1
  |year=1965
  |pages=29–41
}}
* {{Citation
  | last1=Boolos
  | first1=George
  | author1-link=George Boolos
  | last2=Burgess
  | first2=John
  | last3=Jeffrey
  | first3=Richard
  | author3-link=Richard Jeffrey
  | title=Computability and Logic
  | publisher=[[Cambridge University Press]]
  | edition=4th
  | isbn=978-0-521-00758-0 
  | year=2002}}
* {{cite news
  | first=Rachel
  | last=Ehrenberg
  | title=He's Positively Logical
  | date=Spring 2002
  | publisher=University of Michigan
  | url=http://www.umich.edu/~newsinfo/MT/02/Spr02/mt9s02.html
  | work=Michigan Today
  | access-date=2007-08-19
  | archive-url=https://web.archive.org/web/20090208141433/http://umich.edu/~newsinfo/MT/02/Spr02/mt9s02.html
  | archive-date=2009-02-08
  | url-status=dead
  }}
* {{Citation
  | last1=Enderton
  | first1=Herbert
  | title=A mathematical introduction to logic
  | publisher=[[Academic Press]]
  | location=Boston, MA
  | edition=2nd
  | isbn=978-0-12-238452-3
  | year=2001
}}
* {{Citation
  | last1=Gamut
  | first1=L.T.F.
  | title=Logic, Language, and Meaning, Volume 1: Introduction to Logic
  |publisher= University Of Chicago Press
  | year= 1990
  | isbn=0-226-28085-3
}}
*{{Citation
 | last=Hodges
 | first=Wilfrid
 | section=Classical Logic I: First-Order Logic
 | editor1-last=Goble
 | editor1-first=Lou
 | title=The Blackwell Guide to Philosophical Logic
 | publisher=Blackwell
 | isbn=978-0-631-20692-7
 | year=2001
 | url-access=registration
 | url=https://archive.org/details/blackwellguideto0000unse_q4c2
 }}
*{{Citation
  | last1=Hofstadter
  | first1=Douglas
  | author1-link=Douglas Hofstadter
  | title=Gödel, Escher, Bach: An Eternal Golden Braid
  | publisher=[[Penguin Books]]
  | isbn=978-0-14-005579-5
  | year=1980
}}
* {{Citation
  | last1=Kleene
  | first1=Stephen Cole
  | author1-link=Stephen Kleene
  | title=Mathematical logic
  | orig-year=1967
  | publisher=[[Dover Publications]]
  | location=New York
  | isbn=978-0-486-42533-7
  | mr=1950307 
  | year=2002
}}
* {{Citation|last=Rautenberg|first=Wolfgang|author-link=Wolfgang Rautenberg|doi=10.1007/978-1-4419-1221-3|title=A Concise Introduction to Mathematical Logic|publisher=[[Springer Science+Business Media]]|location=New York|edition=3rd|isbn=978-1-4419-1220-6|year=2010}}