相关推荐

Model Theory For Infinitary Logic

  • 作者:H. Jerome Keisler
  • PISBN:9780720422580
  • 出版时间:Pre 2007

The Syntax and Semantics of Infinitary Languages

  • 作者:Jon Barwise
  • EISBN:9783540359005
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1968

The Syntax and Semantics of Infinitary Languages

  • 作者:Jon Barwise
  • EISBN:9783540359005
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1968

Model Theory

  • 作者:C.C. Chang,H.J. Keisler
  • PISBN:9780444880543
  • 出版时间:Pre 2007

Model Theory

  • 作者:David Marker
  • EISBN:9780387227344
  • 出版社:Springer New York
  • 出版时间:2002

Model Driven Engineering Languages and Systems

  • 作者:Gregor Engels,Bill Opdyke,Douglas C. Schmidt,Frank Weil
  • EISBN:9783540752097
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2007