The metamathematics of algebraic systems : collected papers: 1936-1967 /

類似資料

• The foundations of intuitionistic mathematics, especially in relation to recursive functions /
  著者:: Kleene, Stephen Cole, 1909-
  出版事項: (1965)
• A relational theory of computing /
  著者:: Sanderson, John G., 1929-
  出版事項: (1980)
• Introduction to mathematical philosophy /
  著者:: Russell, Bertrand, 1872-1970
  出版事項: (1920)
• Introductory formal logic of mathematics.
  著者:: Nidditch, P. H.
  出版事項: (1957)
• Introductory formal logic of mathematics /
  著者:: Nidditch, P. H.
  出版事項: (1957)