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
| Wilder, R. L., The Nature of Modern Mathematics (1959) |
| Wilder, R. L., The Role of the Axiomatic Method (1967) |
| Wilkie, A. J., On the Theories of End-Extensions of Models of Arithmetic (1977) |
| Wilkie, A. J., Some Results and Problems on Weak Systems of Arithmetic (1977) |
| Wilkie, A. J., On Core Structures for Peano Arithmetic (1982) |
| Wilkie, A. J., A Model-Theoretic Proof of Buss' Characterization of the Polynomial Time Computable Functions (1985) |
| Wilkie, A. J. ; Bacsich, P. D., An Application of Model Theory to k-Solvability Problems |
| Wilkie, Alex, On the Arithmetical Parts of Strong Theories |
| Wilkinson, J., The Grounding of Empirical Statements in Semantic Information Theory (1961) |
| Willard, Ross, On McKenzie's Method |