Jump to main content

yr 〜
yr

Search results 19

Alan Turing's systems of logic : the Princeton thesis

Alan Turing's systems of logic : the Princeton thesis
Paper図書
edited and introduced by Andrew W. Appel.Princeton University Press[2012]<X>
National Diet LibraryOther Libraries in Japan
  • Author HeadingTuring, Alan, 1912-1954 Appel, Andrew W., 1960- Feferman, Solomon.

Model-theoretic logics

Model-theoretic logics
Paper図書
edited by J. Barwise, S. FefermanAssociation for Symbolic Logicc2016
Other Libraries in Japan
  • Author HeadingBarwise, Jon Feferman, Solomon

The number systems : foundations of algebra and analysis 2nd ed

The number systems : foundations of algebra and analysis 2nd ed
Paper図書
by Solomon FefermanAMS Chelsea Pub.2012
Other Libraries in Japan
  • Author HeadingFeferman, Solomon

Kurt Gödel : essays for his centennial : pbk

Kurt Gödel : essays for his centennial : pbk
Paper図書
edited by Solomon Feferman, Charles Parsons, Stephen G. SimpsonAssociation for Symbolic Logic2013
Other Libraries in Japan
  • Author HeadingFeferman, Solomon Parsons, Charles Simpson, Ste...

Alfred Tarski : life and logic : pbk

Alfred Tarski : life and logic : pbk
Paper図書
Anita Burdman Feferman, Solomon FefermanCambridge University Press2008, c2004
Other Libraries in Japan
  • Author HeadingFeferman, Anita Burdman Feferman, Solomon

Kurt Gödel : essays for his centennial

Kurt Gödel : essays for his centennial
Paper図書
edited by Solomon Feferman, Charles Parsons, Steven G. SimpsonCambridge University Press2010
Other Libraries in Japan
  • Author HeadingFeferman, Solomon Parsons, Charles Simpson, Ste...

Proofs, categories and computations : essays in honor of Grigori Mints

Proofs, categories and computations : essays in honor of Grigori Mints
Paper図書
edited by Solomon Feferman and Wilfried SiegCollege Publicationsc2010
Other Libraries in Japan
  • Author HeadingFeferman, Solomon Sieg, Wilfried Mints, Grigori

Alfred Tarski : life and logic : hbk

Alfred Tarski : life and logic : hbk
Paper図書
Anita Burdman Feferman, Solomon FefermanCambridge University Press2004
Other Libraries in Japan
  • Author HeadingFeferman, Anita Burdman Feferman, Solomon

Reflections on the foundations of mathematics : essays in honor of Solomon Feferman : hbk : pbk

Reflections on the foundations of mathematics : essays in honor of Solomon Feferman : hbk : pbk
Paper図書
edited by Wilfried Sieg, Richard Sommer, Carolyn TalcottAssociation for Symbolic Logicc2002
Other Libraries in Japan
  • Author HeadingSieg, Wilfried Sommer, Richard Talcott, Carolyn Feferman, Solomon

Collected works v. 1 v. 2 v. 3 v. 4 v. 5 Pbk. ed

Collected works v. 1 v. 2 v. 3 v. 4 v. 5 Pbk. ed
Paper図書
Kurt Gödel ; edited by Solomon Feferman ... [et al.]Oxford University Press2001-2014, c1986-c2003
Other Libraries in Japan
  • Author HeadingGödel, Kurt Feferman, Solomon

In the light of logic

In the light of logic
Paper図書
Solomon FefermanOxford University Pressc1998
Other Libraries in Japan
  • Author HeadingFeferman, Solomon

Collected works / Kurt Gödel ; edited by Solomon Feferman ... [et al.].

Collected works / Kurt Gödel ; edited by Solomon Feferman ... [et al.].
Paper図書
Clarendon Press1986-<MA41-A65>
National Diet Library
  • Author HeadingGödel, Kurt, 1906-1978 Feferman, Solomon.

Mathematical logic

Mathematical logic
Paper図書
edited by R.O. Gandy and C.E.M. Yates ; including prafaces by Solomon Feferman ... [et al.]Elsevier2001
Other Libraries in Japan
  • Author HeadingTuring, Alan Mathison Gandy, R. O. Yates, Charles Edmund Michael Feferman, Solomon

The collected works of Julia Robinson

The collected works of Julia Robinson
Paper図書
Solomon Feferman, editorAmerican Mathematical Societyc1996
Other Libraries in Japan
  • Author HeadingRobinson, Julia, d. 1985 Feferman, Solomon

Ｃｏｌｌｅｃｔｅｄ　Ｗｏｒｋｓ　；　Ｖ．２　：　Ｐｕｂｌｉｃａｔｉｏｎｓ　１９３８－１９７４

Ｃｏｌｌｅｃｔｅｄ　Ｗｏｒｋｓ　；　Ｖ．２　：　Ｐｕｂｌｉｃａｔｉｏｎｓ　１９３８－１９７４
Paper図書
Ｇｏｄｅｌ，Ｋｕｒｔ／著, Ｆｅｆｅｒｍａｎ，Ｓｏｌｏｍｏｎ／［ほか］編, クルト・ゲーデル／著Ｏｘｆｏｒｄ　Ｕｎｉｖｅｒｓｉｔｙ　Ｐｒｅｓｓ１９９０
Other Libraries in Japan

The number systems : foundations of algebra and analysis 2nd ed

The number systems : foundations of algebra and analysis 2nd ed
Paper図書
by Solomon FefermanChelsea Pub.1989
Other Libraries in Japan
  • Author HeadingFeferman, Solomon

Collected works v. 1 v. 2 v. 3 v. 4 v. 5

Collected works v. 1 v. 2 v. 3 v. 4 v. 5
Paper図書
Kurt Gödel ; edited by Solomon Feferman ... [et al.]Oxford University Press1986-2003
Other Libraries in Japan
  • Author HeadingGödel, Kurt Feferman, Solomon

Model-theoretic logics : us : gw

Model-theoretic logics : us : gw
Paper図書
edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ... [et al.]Springer-Verlagc1985
Other Libraries in Japan
  • Author HeadingBarwise, Jon Feferman, Solomon

The number systems : foundations of algebra and analysis

The number systems : foundations of algebra and analysis
Paper図書
by Solomon FefermanAddison-Wesleyc1964
Other Libraries in Japan
  • Author HeadingFeferman, Solomon

Reached to the end of result.

RSS