Richard Laver (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

1

Carl G. Jockusch Jr., Richard Laver, J. Donald Monk, Jan Mycielski, Jon Pearce: Annual Meeting of the Association for Symbolic Logic: Denver, 1983. J. Symb. Log. 49(2): 674-682 (1984)

Selection of 1 from 4 records - Richard Laver has 4 coauthors