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

Mathematical logic and computation
出版社：Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2023.
ISBN：9781108478755
出版年：2023
作者：Avigad,Jeremy,
资源类型：图书
细分类型：中文文献,西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Computation as logic
  • 作者：Lalement,Ren鈋.
  • ISBN：0137700091 220.74
  • 出版社：Paris : Masson ; Hemel, Hempstead : Prentice Hall, c1993.
  • 出版年：1993
...

Computation as logic
  • 作者：Lalement,Ren鈋.
  • ISBN：0137700091
  • 出版社：Paris : Masson ; Hemel, Hempstead : Prentice Hall, c1993.
  • 出版年：1993
...

Mathematical logic
  • 作者：Tourlakis,George J.
  • ISBN：9780470280744
  • 出版社：Hoboken, N.J. : Wiley, c2008.
  • 出版年：2008
...

Mathematical logic
  • 作者：Monk,J. D.
  • ISBN：3540901701
  • 出版社：N.Y. : Springer, c1976
  • 出版年：1976
...

Mathematical logic
  • 作者：Ebbinghaus
  • ISBN：9787519255725
  • 出版社：世界图书出版有限公司北京分公司
  • 出版年：2019
...

Mathematical logic
  • 作者：Ebbinghaus,Heinz-Dieter.
  • ISBN：0387908951
  • 出版社：New York : Springer, 1984.
  • 出版年：1984