RUS  ENG
Full version
JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive

2012, Volume 407

| General information | Contents |


Studies in constructive mathematics and mathematical logic. Part XII


On a comparison of Darboux and Riemann integrals in constructive analysis
A. A. Vladimirov
7
On some continuity theorem for constructive functions
A. A. Vladimirov
17
Extended fuzzy constructive logic
I. D. Zaslavsky
35
On a Diophantine representation of the predicate of provability
M. Carl, B. Z. Moroz
77
Polynomial upper bounds of RAM+BOOL program size of changes for the proof of belonging to FP
N. K. Kosovskiy
105
Cut for resolution method
V. P. Orevkov
111


© Steklov Math. Inst. of RAS, 2024