Open AccessПодход Колмогорова и Гeделя к интуиционистской логике и работы последнего десятилетия в этом направлении
Author(s) -
Sergei Artëmov,
Sergei Artëmov,
Sergei Artëmov,
Sergei Artëmov
Publication year - 2004
Publication title -
uspehi matematičeskih nauk
Language(s) - Russian
Resource type - Journals
eISSN - 2305-2872
pISSN - 0042-1316
DOI - 10.4213/rm715
Subject(s) - political science