海量图书期刊资源,随时随地畅享阅读乐趣
Alfred Tarski: life and logicOsmo Pekonen; Anita Burdman Feferman; Solomon Feferman; Krzysztof R. Apt · 2007
What does logic have to tell us about mathematical proofs?Solomon Feferman; S. Feferman · 1979
PrefaceSergei Artemov; George Boolos; Erwin Engeler; Solomon Feferman; Gerhard Jäger; Albert Visser · 1995
Working foundationsSolomon Feferman · Synthese · 1985
Intensionality in mathematicsSolomon Feferman · 1985
Predicative foundations of arithmeticSolomon Feferman; Geoffrey Hellman · 1995
DefinednessSolomon Feferman · 1995
In the light of logicSolomon Feferman; Andrew Arana · 2005