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