|
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”, Uspekhi Mat. Nauk, 51:1(307) (1996), 151–152; 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
|
Statistics & downloads: |
Abstract page: | 329 | Russian version PDF: | 199 | English version PDF: | 10 | References: | 47 | First page: | 1 |
|