Formal systems and recursive functions : proceedings /

類似資料

• Recursive function theory and logic /
  著者:: Yasuhara, Ann
  出版事項: (1971)
• Theory of recursive functions and effective computability.
  著者:: Rogers, H. (Hartley), 1926-
  出版事項: (1967)
• The foundations of intuitionistic mathematics, especially in relation to recursive functions /
  著者:: Kleene, Stephen Cole, 1909-
  出版事項: (1965)
• Degrees of unsolvability.
  著者:: Shoenfield, Joseph R. (Joseph Robert), 1927-
  出版事項: (1972)
• Recursive procedures /
  著者:: Bakker, J. W. de (Jacobus Willem de) 1939-
  出版事項: (1971)