相关推荐

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

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

Model Theory

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

Model Driven Engineering Languages and Systems

  • 作者:Oscar Nierstrasz,Jon Whittle,David Harel,Gianna Reggio
  • EISBN:9783540457732
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2006