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, Decompositions of Saturated Ideals (1975) |
| Wagon, Stanley, The Banach-Tarski Paradox (1985) |
| Wainer, S. S., Some Hierarchies Based on Higher Type Quantification |
| Wainer, S. S., Hierarchies of Number-Theoretic Functions (1969) |
| Wainer, S. S., Lecture Notes: Recursion in a Type Two Object (1974) |
| Wainer, S. S. ; Schwichtenberg, H., Infinite Terms and Recursion in Higher Types (1974) |
| Wainer, Stan S. ; Normann, Dag, The 1-Section of a Countable Functional (1978) |
| Wainer, Stanley S., The 1-Section of a Non-Normal Type-2 Object |
| Wang, H. ; Moore, E. F. ; Kahr, A. S., Entscheidungsproblem Reduced to the $\forall \exists \forall$ Case (1962) |
| Wang, Hao, A Theory of Constructive Types (1949) |