This article is cited in 3 papers

A problem on the effective choice of constructivizations, and recursive consistency of problems on constructive models

Yu. G. Ventsov

Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk

UDC: 510:51

Received: 17.01.1991

 English version: DOI: 10.1007/BF02259853

Bibliographic databases:

•