Mathematical Logic for Computer Science

EISBN:9781447103356
PISBN:9781852333195
出版社:Springer London
出版类型:Undergraduate textbook
出版时间:2001
版次:2nd ed. 2001
作者:Mordechai Ben-Ari
主题词:Computer Science,Theory of Computation,Mathematical Logic and Foundations,Mathematical Logic and Formal Languages
语种:英语
相关推荐

Mathematical Logic for Computer Science

  • 作者:Mordechai Ben-Ari
  • EISBN:9781447141297
  • 出版社:Springer London
  • 出版时间:2012

Mathematical Logic for Computer Science

  • 作者:Mordechai Ben-Ari
  • EISBN:9781447103356
  • 出版社:Springer London
  • 出版时间:2001

Computer Science Logic

  • 作者:Zoltán Ésik
  • EISBN:9783540454595
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2006

Computer Science Logic

  • 作者:Jerzy Marcinkowski
  • EISBN:9783540301240
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2004

Computer Science Logic

  • 作者:Matthias Baaz,Johann M. Makowsky
  • EISBN:9783540452201
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

Computer Science Logic

  • 作者:Egon Börger,Gerhard Jäger,Hans Kleine Büning,Simone Martini,Michael M. Richter
  • EISBN:9783540478904
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1993