Zapiski Nauchnykh Seminarov POMI
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
General information
Latest issue
Archive
Impact factor
Search papers
Search references
RSS
Latest issue
Current issues
Archive issues
What is RSS
Zap. Nauchn. Sem. POMI:
Year:
Volume:
Issue:
Page:
Find
Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register
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–16
On some continuity theorem for constructive functions
A. A. Vladimirov
17–34
Extended fuzzy constructive logic
I. D. Zaslavsky
35–76
On a Diophantine representation of the predicate of provability
M. Carl, B. Z. Moroz
77–104
Polynomial upper bounds of RAM+BOOL program size of changes for the proof of belonging to
FP
N. K. Kosovskiy
105–110
Cut for resolution method
V. P. Orevkov
111–128
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2025