Logicism, intuitionism, and formalism : what has become of them?

作者:edited by Sten Lindstrom ... [et al.].
出版社:Springer Netherlands
ISBN:9781402089268 (electronic bk.) ; 9781402089251 (paper)
出版日期:2009
其他作者:Lindstrom, Sten.
語言:zh
出版地:Dordrecht :
內容簡介

xii, 512 p. ::ill., digital ;:25 cm.