A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| Wagon, Stanley, A Modern Circle-Squaring Problem |
| Wagon, Stanley, The Saturation of a Product of Ideals |
| Wainer, S. S., Hierarchies of Number-Theoretic Functions (1969) |
| Wainer, S. S., Lecture Notes: Recursion in a Type Two Object (1974) |
| Wainer, S. S., Some Hierarchies Based on Higher Type Quantification |
| Wainer, S. S. ; Schwichtenberg, H., Infinite Terms and Recursion in Higher Types (1974) |
| Wainer, Stanley S., The 1-Section of a Non-Normal Type-2 Object |
| Wainer, Stan S. ; Normann, Dag, The 1-Section of a Countable Functional (1978) |
| Wang, Hao, A Theory of Constructive Types (1949) |
| Wang, Hao, On Zermelo's and Von Neumann's Axioms for Set Theory (1949) |