登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Computability : computable functions logic and the foundations of mathematics.
出版社：Belmont, CA : Wadsworth/Thomson Learning, c2000.
ISBN：0534546447
出版年：2000
作者：Epstein,Richard L.,
资源类型：图书
细分类型：西文文献
3浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Logic, foundations of mathematics, and computability theory
  • 作者：International Congress of Logic,Methodology,and Philosophy of Science
  • ISBN：9027707081.
  • 出版社：Dordrecht ; Boston : D. Reidel, c1977.
  • 出版年：1977
...

Foundations of logic and mathematics
  • 作者：Carnap,Rudolf
  • 出版社：Illinois : University of Chicago Press, 1947
  • 出版年：1947
...

Introduction to mathematical logic : set theory, computable functions, model theory
  • 作者：Malitz,Jerome.
  • ISBN：0387903461
  • 出版社：New York : Springer-Verlag, c1979.
  • 出版年：1979
...

Constructive formalism : essays on the foundations of mathematics.
  • 作者：Goodstein,R. L.
  • 出版社：Leicester [Eng.] : University College, 1951.
  • 出版年：1951
...

Computability and logic
  • 作者：Cohen.,Daniel E.
  • ISBN：0745800343
  • 出版社：Chichester, West Sussex, England : E. Horwood ; New York : Halsted Press, 1987.
  • 出版年：1987
...

Elements of logic and foundations of mathematics in problems
  • 作者：Marek,Wiktor
  • ISBN：9027710848
  • 出版社：Lolland: D.Reidel Publishing Company, 1982
  • 出版年：1982