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

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)