J. Todd Wilson

List of publications from the DBLP Bibliography Server - FAQ

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

2001

1 J. Todd Wilson: An Intuitionistic Version of Zermelo's Proof That Every Choice Set Can Be Well-Ordered. J. Symb. Log. 66(3): 1121-1126 (2001)