検索結果 1 - 8 結果 / 8 検索語 '', 処理時間: 0.01秒 結果の絞り込み
  1. 1

    Geodel, Escher, Bach an eternal golden braid 著者: Hofstadter, Douglas R. 1945-

    出版事項 1980
    図書

    Geodel, Escher, Bach an eternal golden braid
  2. 2

    The metamathematics of algebraic systems, collected papers 1936-1967 著者: Maltsev, A. I. (Anatolii Ivanovich) 1909-1967

    出版事項 1971
    図書

    The metamathematics of algebraic systems, collected papers 1936-1967
  3. 3

    Introduction to metamathematics 著者: Kleene, Stephen Cole 1909-1994

    出版事項 1971
    図書

    Introduction to metamathematics
  4. 4

    Natural deduction the logical basis of axiom systems 著者: Anderson, John Mueller

    出版事項 1962
    図書

    Natural deduction the logical basis of axiom systems
  5. 5

    Essays on the foundations of mathematics.

    出版事項 1961
    図書

    Essays on the foundations of mathematics.
  6. 6

    Godel's proof 著者: Nagel, Ernest 1901-

    出版事項 1958
    図書

    Godel's proof
  7. 7

    Introduction to metamathematics 著者: Kleene, Stephen Cole 1909-1994

    出版事項 1952
    図書

    Introduction to metamathematics
  8. 8

    Introduction to model theory and to the metamathematics of algebra 著者: Robinson, Abraham

    図書

    Introduction to model theory and to the metamathematics of algebra

検索ツール: