Studies in constructive mathematics and mathematical logic
An edition of Studies in constructive mathematics and mathematical logic (1969)
Part 1
By A. O. Slisenko
Publish Date
2014
Publisher
Springer
Language
eng
Pages
88
Description:
subjects: Constructive mathematics, Logic, symbolic and mathematical, Symbolic and mathematical Logic