R. J. Grayson

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1983

1 R. J. Grayson: Forcing in Intuitionistic Systems Without Power-Set. J. Symb. Log. 48(3): 670-682 (1983)