R. J. Grayson
List of publications from the
DBLP Bibliography Server
-
FAQ
Ask others: ACM
DL
/
Guide
-
-
CSB
-
MetaPress
-
Google
-
Bing
-
Yahoo
1983
1
R. J. Grayson: Forcing in Intuitionistic Systems Without Power-Set.
J. Symb. Log. 48
(3): 670-682 (1983)
Last update Fri Jun 1 15:44:53 2012 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page
- CSB - MetaPress - Google - Bing - Yahoo
Data released under the ODC-BY 1.0 license — See also our legal information page