|
In the Moscow Mathematical Society
Communications of the Moscow Mathematical Society
The logic of a creative subject: conservativism versus intuitionistic predicate calculus
V. N. Krivtsov Branch for Theoretical Problems, Russian Academy of Sciences
Accepted: 04.09.1995
Citation:
V. N. Krivtsov, “The logic of a creative subject: conservativism versus intuitionistic predicate calculus”, Russian Math. Surveys, 51:1 (1996), 146–147
Linking options:
https://www.mathnet.ru/eng/rm928https://doi.org/10.1070/RM1996v051n01ABEH002755 https://www.mathnet.ru/eng/rm/v51/i1/p151
|
|