Wikipedia:Requested articles/Mathematics/Logic

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
Add your request in the most appropriate place below.

Before adding a request please:

Also, when adding a request, please include as much information as possible (such as webpages, articles, or other reference material) so editors can find and distinguish your request from an already-created article.

Model theory, proof theory, and recursion theory

  • Straßburger, Lutz (20 October 2006), "Proof Nets and the Identity of Proofs", Technical Report 6013, INRIA
  • Kuznets, Roman (2007), "Proof Identity for Classical Logic: Generalizing to Normality", LFCS (PDF), pp. 332–348
  • MO thread

Set theory



Requests listed in this section may belong somewhere else. Please help by moving them to a suitable location.


  1. ^
Retrieved from ""
This content was retrieved from Wikipedia :
This page is based on the copyrighted Wikipedia article "Wikipedia:Requested articles/Mathematics/Logic"; it is used under the Creative Commons Attribution-ShareAlike 3.0 Unported License (CC-BY-SA). You may redistribute it, verbatim or modified, providing that you comply with the terms of the CC-BY-SA