Kolmogorov and Gödel's approach to intuitionistic logic: current developments
Artemov,S N
Russian Mathematical Surveys(2004),59(2):203
http://dx.doi.org/10.1070/RM2004v059n02ABEH000715

Please select one of the following sources for this article:
IOP PublishingIOP Publishing hosts the online versions of all Turpion journals, providing full text access for current subscribers and pay-per-view access for non-subscribers.
Turpion LtdTurpion continues to host content and provide online perpetual access to subscribed content for customers with subscriptions which lapsed before 2007.