Ruitenburg, Wim Very intuitionistic theories and quantifier elimination. (English) Zbl 1303.03070 Rev. Mod. Log. 10 (2004/2005), No. 1-2, 99-112 (2005). MSC: 03C10 03F55 PDF BibTeX XML Cite \textit{W. Ruitenburg}, Rev. Mod. Log. 10 (2004/2005), No. 1--2, 99--112 (2005; Zbl 1303.03070) Full Text: Euclid
Anellis, Irving H. Some views of Russell and Russell’s logic by his early contemporaries. (English) Zbl 1303.03002 Rev. Mod. Log. 10 (2004/2005), No. 1-2, 67-98 (2005). MSC: 03-03 01A60 01A70 PDF BibTeX XML Cite \textit{I. H. Anellis}, Rev. Mod. Log. 10 (2004/2005), No. 1--2, 67--98 (2005; Zbl 1303.03002) Full Text: Euclid
Meguire, Philip Richard Milton Martin: American logician. (English) Zbl 1303.03004 Rev. Mod. Log. 10 (2004/2005), No. 1-2, 7-66 (2005). MSC: 03-03 01A60 01A70 PDF BibTeX XML Cite \textit{P. Meguire}, Rev. Mod. Log. 10 (2004/2005), No. 1--2, 7--66 (2005; Zbl 1303.03004) Full Text: Euclid