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

edit
  1. Equilateral_triangle#Circumradius,_inradius,_and_exradii
  • 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

edit

Relations

edit

Other

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

References

edit