Login

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)