Foundational theories of classical and constructive mathematics

Author:edited by Giovanni Sommaruga.
Publisher:Springer Science+Business Media B.V.
ISBN:9789400704312 (electronic bk.) ; 9789400704305 (paper)
Publication Date:2011
其他作者:Sommaruga, Giovanni.
語言:zh
出版地:Dordrecht :
Description

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