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

Logic foundations of mathematics and computability theory
出版社：Dordrecht ; Boston : D. Reidel, c1977.
ISBN：9027707081.
出版年：1977
作者：International Congress of Logic,Methodology,and Philosophy of Science
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Computability : computable functions, logic, and the foundations of mathematics.
  • 作者：Epstein,Richard L.,
  • ISBN：0534546447
  • 出版社：Belmont, CA : Wadsworth/Thomson Learning, c2000.
  • 出版年：2000
...

Computability theory, semantics, and logic programming
  • 作者：Fitting,Melvin,
  • ISBN：0195036913
  • 出版社：New York : Oxford University Press ; Oxford : Clarendon Press, 1987.
  • 出版年：1987
...

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

Set theory and foundations of mathematics : an introduction to mathematical logic.
  • 作者：Cenzer,Douglas,
  • ISBN：9789811201929
  • 出版社：New Jersey : World Scientific, 2020.
  • 出版年：2020
...

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