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

A primer of formal logic
出版社：N.Y. : The Macmillan Co., 1946.
出版年：1946
作者：Cooley,John C.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Ancient formal logic
  • 作者：Bochenski,I. M.
  • 出版社：Amsterdam : North-Holland Publishing Co., 1951.
  • 出版年：1951
...

Ancient formal logic:
  • 作者：Bochenski,I.M.
  • 出版社：Amsterdam : North-Holland pub. co., 1951.
  • 出版年：1951
...

Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da
  • 作者：Costa,Newton C. A. da.
  • ISBN：0824773306
  • 出版社：New York : M. Dekker, c1985.
  • 出版年：1985
...

Notre dame journal of formal logic
  • ISBN：00294527
  • 出版社：Duke University Press
  • 出版年：1960
...

The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the
  • 作者：Hähnle,Reiner,
  • ISBN：9783031081651
  • 出版社：Cham, Switzerland : Springer, 2022.
  • 出版年：2022
...

An introduction to practical formal methods using temporal logic
  • 作者：Fisher,Michael,
  • ISBN：9780470027882
  • 出版社：Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley, c2011.
  • 出版年：2011