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, Categorical Foundations and Foundations of Category Theory (1977) |
| 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) |