Mathematical logic and theoretical computer science

出版社:New York : M. Dekker, c1987.
ISBN:0824777468
出版年:1987
作者:Kueker,David W.
资源类型:图书
细分类型:西文文献
相关推荐

Mathematical Logic for Computer Science

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

Mathematical logic for computer science

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

Mathematical logic for computer science

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

Proceedings of the sixth IBM symposium on mathematical foundations of computer science logic aspect

  • 作者:IBM,
  • ISBN:CNY200.00
  • 出版社:TokoyI: Corporate and Science Programs,IBM 1981.
  • 出版年:1981

Proceedings of the sixth IBM symposium on mathematical foundations of computer science logic aspect

  • 作者:IBM,
  • 出版社:TokoyI: Corporate and Science Programs,IBM 1981.
  • 出版年:1981

Logic for mathematics and computer science

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