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

Relations

Other

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

References

  1. ^ https://pl.wikipedia.org/wiki/Zbi%C3%B3r_Hintikki
Retrieved from "https://en.wikipedia.org/w/index.php?title=Wikipedia:Requested_articles/Mathematics/Logic&oldid=850447809"
This content was retrieved from Wikipedia : http://en.wikipedia.org/wiki/Wikipedia:Requested_articles/Mathematics/Logic
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