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 |