Algebra i Logika. Seminar
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
Algebra Logika:
Year:
Volume:
Issue:
Page:
Find
Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register
1963, Volume 2, Number 1
The effective non-separability of the set of identically true formulae and the set of finitely refutable formulae for certain elementary theories
I. A. Lavrov
5–18
The calculation of effective operators on Turing machines with restricted erasure
N. V. Beljakin
19–23
On the frequency computability of functions
B. A. Trakhtenbrot
25–32
Remark on a theorem of Hao Wang
G. P. Zykin
33–35
Universal equivalence of ordered Abelian groups
Yu. Sh. Gurevich, A. I. Kokorin
37–39
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2025
Contact us: Terms of Use
Registration to the website Logotypes