Minimal logic (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Minimal logic" in English language version.

refsWebsite

Global rank English rank

8,650^th place

7,668^th place

1web.archive.org

1^st place

1^st place

4,903^rd place

3,679^th place

low place

low place

low place

low place

inria.fr

yquem.inria.fr

Huet 1986, pp. 125, 132. Huet, Gérard (May 1986). Formal Structures for Computation and Deduction. International Summer School on Logic of Programming and Calculi of Discrete Design. Archived from the original on 2014-07-14.

numdam.org

Johansson 1937. Johansson, Ingebrigt (1937). "Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus". Compositio Mathematica (in German). 4: 119–136.

unitn.it

disi.unitn.it

Sørensen & Urzyczyn 1998. Sørensen, Morten Heine B.; Urzyczyn, Paweł [in Polish] (May 1998). "Lectures on the Curry-Howard Isomorphism" (PDF).

web.archive.org

Huet 1986, pp. 125, 132. Huet, Gérard (May 1986). Formal Structures for Computation and Deduction. International Summer School on Logic of Programming and Calculi of Discrete Design. Archived from the original on 2014-07-14.

wikipedia.org

pl.wikipedia.org

Sørensen & Urzyczyn 1998. Sørensen, Morten Heine B.; Urzyczyn, Paweł [in Polish] (May 1998). "Lectures on the Curry-Howard Isomorphism" (PDF).