• 题名: Studies in Constructive Mathematics and Mathematical Logic
    作者: A. O. Slisenko
    索书号: http://link.springer.com/openurl?genre=book&isbn=978-1-4684-8970-5
在架