登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Methods in mathematical logic: proceedings of the 6th latin american symposium on mathematical logic
出版社：0000.00
ISBN：3540152369
作者：C.A.DiPrisco
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logi
  • 作者：Latin-American Symposium on Mathematical Logic
  • ISBN：0387152369
  • 出版社：Berlin ; New York : Springer-Verlag, c1985.
  • 出版年：1985
...

Methods in mathematical logic : proceedings of the ...
  • 作者：DiPrisco,C. A.
  • ISBN：3540152369
  • 出版社：Berlin : Springer, c1985
  • 出版年：1985
...

6th Annual IEEE Symposium on Logic in Computer Science : proceedings
  • 作者：IEEE Symposium on Logic in Computer Science
  • ISBN：081862230X LCN 89641304
  • 出版社：Los Alamitos, CA : IEEE Computer Society Pr., c1991.
  • 出版年：1991
...

Mathematical logic
  • 作者：Ebbinghaus
  • ISBN：9787519255725
  • 出版社：世界图书出版有限公司北京分公司
  • 出版年：2019
...

Mathematical logic
  • 作者：Ebbinghaus,Heinz-Dieter.
  • ISBN：0387908951
  • 出版社：New York : Springer, 1984.
  • 出版年：1984
...

Mathematical Logic
  • 作者：Shoenfield,J. R.
  • 出版社：Reading : Mass, Addison-Wesley, 1967
  • 出版年：1967