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

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