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, New and Old Results on Completeness of HPC |
Friedman, Harvey, On the Naturalness of Definable Operations |
Friedman, Harvey, The Disjunction Property Implies the Numerical Existence Property |
Friedman, Harvey, Why First-Order Logic? |
Friedman, Harvey ; Jensen, Ronald, Note on Admissible Ordinals (1968) |
Friedman, Harvey ; Jensen, Ronald, Note on Admissible Ordinals (1968) |
Friedman, Harvey ; Sheard, Michael, An Axiomatic Approach to Self-Referential Truth (1985) |
Friedman, Joel, The Decision Method for Real Algebra: Is it Practical? (1966) |
Friedman, Joel, Methodological Problems Regarding Anomalies in Science (1973) |
Friedman, Joel, The Universal Class has a Spinozistic Partitioning (1975) |