TY -
BOOK
AU - Dragalin, Al'bert Grigor'evič
TI -
Matematičeskij intuicionizm
vvedenie v teoriju dokazatel'stv
PB - Nauka
KW - Intuitionistische Mathematik
PY - 1979
N2 - In kyrill. Schr., russ
BT - Matematičeskaja logika i osnovanija matematiki
CY - Moskva
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -