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
Friedman, Harvey, Bibliography of Harvey Friedman (1975) |
Friedman, Harvey, The Logical Strength of Mathematical Statements (1975) |
Friedman, Harvey, Higher Set Theory and Existential Statements (1976) |
Friedman, Harvey, Philosophical Letters II: An Approach to Extensional Predication (1976) |
Friedman, Harvey, Philosophical Letters IV: Notes on Satisfaction in the Universal Domain, Semantics for the $\lambda$-Calculus, and Intuitionistic Validity (1976) |
Friedman, Harvey, Philosophical Letters V: Analytic Definitions of Recursion Theoretic Notions and Miscellaneous ; Automorphisms Preserving Ordinals ; Analytic Definitions of Not (1976) |
Friedman, Harvey, Russell's Paradox I (1976) |
Friedman, Harvey, The Arithmetic Theory of Sets and Functions I (1976) |
Friedman, Harvey, The Logical Strength of Mathematical Statements (1976) |
Friedman, Harvey, Translatability and Relative Consistency (1976) |