Mathematical intuitionism - introduction to proof theory

Originaltitel
Matematičeskij intuicionizm
Författare
Alʹbert Grigorʹevič Dragalin
(A.G. Dragalin.)
Språk
Engelska
Förlag År Ort Om boken ISBN
American Mathematical Society cop. 1988 USA, Providence, R.I 228 sidor.