S. Feferman
发表
Solomon Feferman,
S. Feferman,
1984,
Journal of Symbolic Logic.
S. Feferman,
1964
.
S. Feferman,
1994
.
S. Feferman,
1982
.
S. Kleene,
S. Feferman,
J. Dawson,
1990
.
K. Gödel,
S. Feferman,
1986
.
S. Feferman,
1988
.
S. Feferman,
R. Vaught,
1959
.
J. Barwise,
S. Feferman,
M. Nadel,
2016
.
S. Feferman,
1970
.
S. Feferman,
J. Heywood,
2003
.
S. Feferman,
1979
.
S. Feferman,
1974
.
S. Feferman,
1990
.
J. Barwise,
S. Feferman,
Y. Gurevich,
2016
.
S. Feferman,
1975
.
Solomon Feferman,
S. Feferman,
1975
.
S. Feferman,
2015
.
S. Feferman,
1995
.
S. Feferman,
1959
.
S. Feferman,
1978,
PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association.
Solomon Feferman,
S. Feferman,
1977
.
Solomon Feferman,
S. Feferman,
1975
.
Solomon Feferman,
S. Feferman,
2012
.
S. Feferman,
2011
.
S. Feferman,
1993
.
Solomon Feferman,
S. Feferman,
2004
.
S. Feferman,
1968
.
Solomon Feferman,
S. Feferman,
1968
.
S. Feferman,
2022
.
S. Feferman,
2012
.
Jon Barwise,
Solomon Feferman,
Jouko Väänänen,
2016
.
Solomon Feferman,
Thomas Strahm,
S. Feferman,
2000,
Ann. Pure Appl. Log..
S. Feferman,
2014
.
S. Feferman,
2011
.
S. Feferman,
2008
.
S. Feferman,
2004,
Revue internationale de philosophie.
S. Feferman,
2002
.
S. Feferman,
A. B. Feferman,
2010
.
D. E. Long,
S. Shelah,
A. Pnueli,
1995
.
S. Feferman,
G. Hellman,
2000
.
S. Feferman,
2022
.
S. Feferman,
2002
.
S. Feferman,
2012
.
S. Feferman,
2006
.
S. Feferman,
2004
.
S. Feferman,
2014
.
S. Feferman,
2009
.
S. Feferman,
2000,
Bulletin of Symbolic Logic.
Erwin Engeler,
George Boolos,
Albert Visser,
1995,
Ann. Pure Appl. Log..
S. Feferman,
2000
.
S. Feferman,
2011
.
S. Feferman,
1970
.
S. Feferman,
1977
.
S. Feferman,
T. Strahm,
2002
.
S. Feferman,
Harvey M. Friedman,
M. Sheard,
2010
.
S. Feferman,
Macmillan,
2022
.
Solomon Feferman,
A. Ehrenfeucht,
A. Ehrenfeucht,
1960
.
Solomon Feferman,
S. Feferman,
1989
.
J. Barwise,
S. Feferman,
M. Dickmann,
2016
.
David Israel,
Solomon Feferman,
K. Jon Barwise,
1986,
Journal of Symbolic Logic.
Solomon Feferman,
S. Feferman,
1985,
J. Philos. Log..
Solomon Feferman,
S. Feferman,
2006
.
Solomon Feferman,
S. Feferman,
2009
.
Solomon Feferman,
S. Feferman,
2012,
The Review of Symbolic Logic.
Solomon Feferman,
S. Feferman,
1972
.
Solomon Feferman,
S. Feferman,
2021,
Alan Turing's Systems of Logic.
Solomon Feferman,
S. Feferman,
S. Feferman,
2011,
Synthese.
Solomon Feferman,
S. Feferman,
1964,
Journal of Symbolic Logic.
D. Stroock,
V. Guillemin,
S. Feferman,
1977
.
Solomon Feferman,
S. Feferman,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Solomon Feferman,
S. Feferman,
2000,
Synthese.
Solomon Feferman,
Anita Burdman Feferman,
S. Feferman,
2004
.
Solomon Feferman,
S. Feferman,
2015
.
J. Barwise,
S. Feferman,
H. Ebbinghaus,
2016
.
Solomon Feferman,
S. Feferman,
2012,
Logica Universalis.
Solomon Feferman,
S. Feferman,
2005,
Bulletin of Symbolic Logic.
John W. Dawson,
Solomon Feferman,
S. C. Kleene,
1986
.
Solomon Feferman,
Wilfried Sieg,
S. Feferman,
1981
.
Solomon Feferman,
S. Feferman,
S. Feferman,
1979
.
Solomon Feferman,
S. Feferman,
Julia d. Robinson,
1996
.
Solomon Feferman,
G. Kreisel,
S. Feferman,
1966
.
Solomon Feferman,
S. Feferman,
2012
.
Solomon Feferman,
S. Feferman,
1952
.
Jeremy Avigad,
Solomon Feferman,
S. Feferman,
1998
.
Solomon Feferman,
S. Feferman,
1977
.
Solomon Feferman,
S. Feferman,
1962,
Journal of Symbolic Logic.
John W. Dawson,
Solomon Feferman,
S. C. Kleene,
1987
.
Solomon Feferman,
S. Feferman,
2008
.
Solomon Feferman,
S. Feferman,
1968
.
Solomon Feferman,
S. Feferman,
2008,
Synthese.
Solomon Feferman,
S. Feferman,
2005
.
Geoffrey Hellman,
Solomon Feferman,
S. Feferman,
1995,
J. Philos. Log..
Solomon Feferman,
S. Feferman,
2010,
Notre Dame J. Formal Log..
Solomon Feferman,
S. Feferman,
1999,
Notre Dame J. Formal Log..
Solomon Feferman,
S. Feferman,
2009
.
Jon Barwise,
Solomon Feferman,
J. Barwise,
2016
.
Solomon Feferman,
S. Feferman,
2008
.
Solomon Feferman,
S. Feferman,
2008
.
Solomon Feferman,
S. Feferman,
1993
.
Solomon Feferman,
S. Feferman,
1978
.
Solomon Feferman,
C. Spector,
S. Feferman,
1962,
Journal of Symbolic Logic.
Solomon Feferman,
S. Feferman,
2008
.
Solomon Feferman,
S. Feferman,
1992,
Mathematical Structures in Computer Science.
Solomon Feferman,
S. Feferman,
1988,
Journal of Symbolic Logic.
Solomon Feferman,
S. Feferman,
1962
.
Solomon Feferman,
S. Feferman,
2002
.
Solomon Feferman,
S. Feferman,
1993,
Kurt Gödel Colloquium.
Solomon Feferman,
S. Feferman,
1982
.
Solomon Feferman,
S. Feferman,
1979
.
Solomon Feferman,
S. Feferman,
2000
.
Gerhard Jäger,
Solomon Feferman,
S. Feferman,
1993,
Ann. Pure Appl. Logic.
John R. Steel,
Solomon Feferman,
Penelope Maddy,
2000,
Bulletin of Symbolic Logic.
Solomon Feferman,
S. Feferman,
1999
.
Solomon Feferman,
S. Feferman,
2007,
The Oxford Handbook of Philosophy of Mathematics and Logic.
Solomon Feferman,
S. Feferman,
1999
.
Solomon Feferman,
S. Feferman,
1957,
Journal of Symbolic Logic.
Solomon Feferman,
S. Feferman,
1975
.
Solomon Feferman,
S. Feferman,
2000
.
Solomon Feferman,
S. Feferman,
1984
.
Solomon Feferman,
S. Feferman,
1992,
PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association.
Solomon Feferman,
S. Feferman,
1968,
Journal of Symbolic Logic.
Solomon Feferman,
S. Feferman,
1996
.
Solomon Feferman,
S. Feferman,
2008,
The Review of Symbolic Logic.
Solomon Feferman,
S. Feferman,
1991,
Journal of Symbolic Logic.
Solomon Feferman,
S. Feferman,
2009,
Inf. Comput..