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

MSC: 03B20, 03F55, 68Q55

Accepted: 04.09.1995

DOI: 10.4213/rm928

 English version: Russian Mathematical Surveys, 1996, 51:1, 146–147

Bibliographic databases:

• 
• 
• 
• 
•