Mathematical Logic and Model Theory

EISBN:9781447121763
PISBN:9781447121756
出版社:Springer London
出版类型:Graduate/advanced undergraduate textbook
出版时间:2011
作者:Alexander Prestel,Charles N. Delzell
主题词:Mathematics,general,Mathematical Logic and Formal Languages
语种:英语
所属数据库:SpringerLink电子图书
丛书题名:Universitext
相关推荐

Elements of Mathematical Logic (Model Theory)

  • 作者:G. Kreisel,J.L. Krivine
  • PISBN:9780444534125
  • 出版时间:Pre 2007

Model Theory For Infinitary Logic

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

Intuitionistic Logic Model Theory and Forcing

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

Model Theory and the Philosophy of Mathematical Practice

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

Mathematical Logic and Foundations of Set Theory

  • 作者:Yehoshua Bar-Hillel
  • PISBN:9780720422559
  • 出版时间:Pre 2007

An Introduction to Mathematical Logic and Type Theory

  • 作者:Peter B. Andrews
  • EISBN:9789401599344
  • 出版社:Springer Netherlands
  • 出版时间:2002