Actions for Mathematical intuitionism : introduction to proof theory

View MARC record | catkey: 1083131