Mathematical Logic for Computer Science

EISBN:9781447141297
PISBN:9781447141280
出版社:Springer London
出版类型:Undergraduate textbook
出版时间:2012
版次:3rd ed. 2012
作者:Mordechai Ben-Ari
主题词:Mathematical Logic and Formal Languages,Mathematical Logic and Foundations
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Mathematical Logic for Computer Science

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

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