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

Feferman, Solomon, Constructive Theories of Functions and Classes (1978) |

Feferman, Solomon, A More Perspicuous Formal System for Predicativity (1979) |

Feferman, Solomon, A More Perspicuous Formal System for Predicativity (1979) |

Feferman, Solomon, Inductively Presented Systems and the Formalization of Meta-Mathematics (1980) |

Feferman, Solomon, Toward Useful Type-Free Theories, I (1982) |

Feferman, Solomon, Collected Works of Kurt Gödel (1984) |

Feferman, Solomon, Gödel's Life and Work (1984) |

Feferman, Solomon, Kurt Gödel: Conviction and Caution (1984) |

Feferman, Solomon, Deciding the Undecidable: Wrestling with Hilbert's Problmes (1994) |

Feferman, Solomon, Consistency of the Unrestricted Comprehension Principle Using An Intensional Equivalence of Operator |