| RUS ENG |
| Full version |
|
|
|
| JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive |
|
2012, Volume 407
|
| | | General information | | | Contents | | |
|
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 | |