Items where authors include "Leigh, GE"
![[up]](/style/images/multi_up.png)
Up a levelJump to: Article
Number of items: 1.
Article
Rathjen, M and Leigh, GE (2012) The Friedman-Sheard programme in intuitionistic logic. The Journal of Symbolic Logic, 77 (3). 777 - 806 (30). ISSN 0022-4812
Rathjen, M and Leigh, GE (2012) The Friedman-Sheard programme in intuitionistic logic. The Journal of Symbolic Logic, 77 (3). 777 - 806 (30). ISSN 0022-4812