Jump to main content

yr 〜
yr

Search results 9

Proof, logic and formalization : pbk.

Proof, logic and formalization : pbk.
Paper図書
edited by Michael DetlefsenRoutledge2015, c1992
Other Libraries in Japan
  • Author HeadingDetlefsen, Michael

Proof and knowledge in mathematics : pbk.

Proof and knowledge in mathematics : pbk.
Paper図書
edited by Michael DetlefsenRoutledge2014, c1992
Other Libraries in Japan
  • Author HeadingDetlefsen, Michael

Logic from A to Z

Logic from A to Z
Paper図書
Michael Detlefsen, David Charles McCarty and John B. BaconRoutledgec1999
Other Libraries in Japan
  • Author HeadingDetlefsen, Michael McCarty, David Charles Bacon,...

Proof, logic and formalization

Proof, logic and formalization
Paper図書
edited by Michael DetlefsenRoutledge1992
Other Libraries in Japan
  • Author HeadingDetlefsen, Michael

Proof and knowledge in mathematics

Proof and knowledge in mathematics
Paper図書
edited by Michael DetlefsenRoutledge1992
Other Libraries in Japan
  • Author HeadingDetlefsen, Michael

Hilbert's program : an essay on mathematical instrumentalism

Hilbert's program : an essay on mathematical instrumentalism
Paper図書
Michael DetlefsenD. Reidelc1986
Other Libraries in Japan
  • Author HeadingDetlefsen, Michael

Hilbert's program : an essay on mathematical instrumentalism : pbk.

Hilbert's program : an essay on mathematical instrumentalism : pbk.
Paper図書
Michael DetlefsenSpringer Science+Business Mediac1986
Other Libraries in Japan
  • Author HeadingDetlefsen, Michael

Hilbert's program : an essay on mathematical instrumentalism / Michael Detlefsen. (Synthese library ; v. 182)

Hilbert's program : an essay on mathematical instrumentalism / Michael Detlefsen. (Synthese library ; v. 182)
Paper図書
D. Reidelc1986.<H151-A4>
National Diet Library
  • Author HeadingDetlefsen, Michael, 1948-

The importance of Goedel's second incompleteness theorem for the foundations of mathematics

The importance of Goedel's second incompleteness theorem for the foundations of mathematics
Paper図書
Michael DetlefsenUniversity Microfilms International1981
Other Libraries in Japan
  • Author HeadingDetlefsen, Michael

Reached to the end of result.

RSS