相关推荐

Elements of Mathematical Logic (Model Theory)

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

Mathematical Logic and Model Theory

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

Model Theory For Infinitary Logic

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

Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms: Theory and Applications

  • 作者:Oscar Castillo,Patricia Melin,Janusz Kacprzyk
  • EISBN:9783030354459
  • 出版社:Springer International Publishing
  • 出版时间:2020

A Short Introduction to Intuitionistic Logic

  • 作者:Grigori Mints
  • EISBN:9780306469756
  • 出版社:Springer US
  • 出版时间:2000

A Short Introduction to Intuitionistic Logic

  • 作者:Grigori Mints
  • EISBN:9780306469756
  • 出版社:Springer US
  • 出版时间:2000