Analyses of Analysis: Part I- Introduction

by Roger Bishop Jones

@MISC{Jones_analysesof,
    author = {Roger Bishop Jones},
    title = {Analyses of Analysis: Part I- Introduction},
    year = {}
}

874	A theory of type polymorphism in programming - Milner - 1978
728	A formulation of the simple theory of types - Church - 1940
196	HOL: A Proof Generating System for Higher-Order Logic - Gordon - 1988
93	Mathematical logic as based on the theory of types - Russell - 1908
57	Mechanizing programming logics in higher order logic - Gordon - 1989
39	The foundations of mathematics - Ramsey - 1926
15	Requirements Analysis - Ellis, Jones, et al. - 1998
5	Analyses of Analysis: Part I - Exegetical Analysis. RBJones.com - Jones - 2009
3	The Logic and Metaphysics of Leibniz. RBJones.com - Jones - 2009
2	The Proposition. RBJones.com - Jones - 2009
2	A Self-Defining Semantics for First Order Set Theory. RBJones.com - Jones - 2009
2	Aristotle’s Logic and Metaphysics. RBJones.com - Jones - 2010
2	Formalised: Language and Overview - HOL