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

Ancient formal logic:
出版社：Amsterdam : North-Holland pub. co., 1951.
出版年：1951
作者：Bochenski,I.M.
资源类型：图书
细分类型：西文文献,馆内阅览
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

A primer of formal logic
  • 作者：Cooley,John C.
  • 出版社：N.Y. : The Macmillan Co., 1946.
  • 出版年：1946
...

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

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

Introduction to languages, machines and logic : computable languages, abstract machines and formal l
  • 作者：Parkes,Alan P.
  • ISBN：1852334649
  • 出版社：London ; New York : Springer, c2002.
  • 出版年：2002
...

Aristotle''s syllogistic from the standpoint of modern formal logic
  • 作者：Łukasiewicz,Jan.
  • 出版社：[Oxford : Clarendon Press], c1954.
  • 出版年：1954