Essential logic for computer science

出版社:Cambridge, Massachusetts : The MIT Press, c2018.
ISBN:9780262039185
出版年:2018
作者:Page,Rex L.
资源类型:图书
细分类型:西文文献,馆内阅览
相关推荐

Handbook of logic in computer science

  • 作者:Abramsky,Samson,
  • ISBN:0198537611
  • 出版社:Oxford : Clarendon Press, 1992-
  • 出版年:1992

Mathematical Logic for Computer Science

  • 作者:Mordechai Ben-Ari.
  • ISBN:1447141288
  • 出版社:Springer, 2012.
  • 出版年:2012

Logic for mathematics and computer science

  • 作者:Burris,Stanley N.
  • ISBN:0132859742
  • 出版社:Upper Saddle River, N.J. : Prentice Hall, c1998.
  • 出版年:1998

Mathematical logic for computer science

  • 作者:Ben-Ari,M.,
  • 出版年:2012

Handbook of logic in computer science

  • 作者:Abramsky,Samson,
  • ISBN:0198537816
  • 出版社:Oxford : Clarendon Press ; New York : Oxford University Press, 1992-
  • 出版年:1992

Mathematical logic for computer science

  • 作者:Lu,Chung-wan.
  • ISBN:9971502518
  • 出版社:Singapore ; Teaneck, N.J. : World Scientific, 1989.
  • 出版年:1989