在“SpringerLink电子期刊”中，命中：9条，耗时：0.0119911 秒

在所有数据库中总计命中：97条

6.Metric Boolean algebras and constructive measure theory
刊名：Archive for Mathematical Logic
出版年：2002
7.Metric Boolean algebras and constructive measure theory
刊名：Archive for Mathematical Logic
出版年：2002
8.Intuitionistic choice and classical logic
刊名：Archive for Mathematical Logic
出版年：2000
9.Intuitionistic choice and classical logic
刊名：Archive for Mathematical Logic
出版年：2000
1
按检索点细分(9)
作者(9)
按出版年细分(9)
2017年(1)
2012年(1)
2009年(1)
2006年(2)
2002年(2)
2000年(2)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.