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

Display formulas [help]

Wilder, R. L., The Role of the Axiomatic Method (1967)
Wilder, Raymond L., The Nature and Role of Research in Mathematics
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