Mathematical intuitionism : introduction to proof theory


Albert Grigorevich Dragalin
Bok Engelsk 1988
Flere språk: Russisk

Detaljer

Bibliotek som har denne