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

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