Foundational theories of classical and constructive mathematics

作者:edited by Giovanni Sommaruga.
出版社:Springer Science+Business Media B.V.
ISBN:9789400704312 (electronic bk.) ; 9789400704305 (paper)
出版日期:2011
其他作者:Sommaruga, Giovanni.
語言:zh
出版地:Dordrecht :
內容簡介

xi, 314 p. ::ill., digital ;:24 cm.