Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

EISBN:9781461501855
PISBN:9781461349570
出版社:Springer US
出版类型:Contributed volume
出版时间:2003
作者:Igor Lavrov,Larisa Maksimova
主题词:Mathematical Logic and Foundations,Logic,Symbolic and Algebraic Manipulation
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

  • 作者:Igor Lavrov,Larisa Maksimova,G. Corsi
  • EISBN:9781461501855
  • 出版社:Springer US
  • 出版时间:2003

Mathematical Logic and Foundations of Set Theory

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

Logic and Theory of Algorithms

  • 作者:Arnold Beckmann,Costas Dimitracopoulos,Benedikt Löwe
  • EISBN:9783540694076
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2008

Computational Logic and Set Theory

  • 作者:Jacob T. Schwartz,Domenico Cantone,Eugenio G. Omodeo
  • EISBN:9780857298089
  • 出版社:Springer London
  • 出版时间:2011

Problems and Theorems in Classical Set Theory

  • 作者:Péter Komjáth,Vilmos Totik
  • EISBN:9780387362199
  • 出版社:Springer New York
  • 出版时间:2006

SET THEORY

  • 作者:K. Kuratowski,A. Mostowski
  • PISBN:9780444534170
  • 出版时间:Pre 2007