Reverse mathematics 2001
Simpson, Stephen George (ed.)种类:
年:
2005
出版社:
A K Peters, Ltd., Association for Symbolic Logic
语言:
english
页:
401
ISBN 10:
1568812647
ISBN 13:
9781568812649
系列:
Springer Lecture notes in logic 21
文件:
DJVU, 4.24 MB
IPFS:
,
english, 2005