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, 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)