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) |