相关推荐

Mathematical Logic and Model Theory

  • 作者:Alexander Prestel,Charles N. Delzell
  • EISBN:9781447121763
  • 出版社:Springer London
  • 出版时间:2011

Elements of Finite Model Theory

  • 作者:Leonid Libkin
  • EISBN:9783662070031
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2004

Elements of Finite Model Theory

  • 作者:Leonid Libkin
  • EISBN:9783662070031
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2004

Intuitionistic Logic Model Theory and Forcing

  • 作者:Melvin Chris Fitting
  • PISBN:9780444534187
  • 出版时间:Pre 2007

Model Theory For Infinitary Logic

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

Model Theory and the Philosophy of Mathematical Practice

  • 作者:Baldwin
  • EISBN:9781316987216
  • 出版社:Cambridge University Press
  • 出版时间:2018