Metamathematical investigation of intuitionistic arithmetic and analysis


A. S. Troelstra (editor)
Bok Språk ikke angitt 1973

Detaljer

Bibliotek som har denne