Algebra and Logic
ISSN 0002-5232 (Print)
ISSN 1573-8302 (Online)
Menu
Archives
Home
About the Journal
Editorial Team
Editorial Policies
Author Guidelines
About the Journal
Issues
Search
Current
Retracted articles
Archives
Contact
All Journals
Reference materials
Instructions for using the platform
Instructions for signing an agreement for RAS journals
User
Username
Password
Remember me
Forgot password?
Register
Notifications
View
Subscribe
Search
Search
Search Scope
All
Authors
Title
Abstract
Index terms
Full Text
Browse
By Issue
By Author
By Title
By Sections
Other Journals
Subscription
Login to verify subscription
Keywords
Boolean algebra
Ershov hierarchy
automorphism group
autostability
autostability relative to strong constructivizations
centralizer dimension
computable categoricity
computable structure
convexity rank
defining graph
degree of autostability
degree of categoricity
finite group
index set
lattice
linear order
periodic group
quasi-identity
quasivariety
solvable group
universal algebraic geometry
×
User
Username
Password
Remember me
Forgot password?
Register
Notifications
View
Subscribe
Search
Search
Search Scope
All
Authors
Title
Abstract
Index terms
Full Text
Browse
By Issue
By Author
By Title
By Sections
Other Journals
Subscription
Login to verify subscription
Keywords
Boolean algebra
Ershov hierarchy
automorphism group
autostability
autostability relative to strong constructivizations
centralizer dimension
computable categoricity
computable structure
convexity rank
defining graph
degree of autostability
degree of categoricity
finite group
index set
lattice
linear order
periodic group
quasi-identity
quasivariety
solvable group
universal algebraic geometry
Home
>
Search
>
Author Details
Author Details
Bokov, G. V.
Issue
Section
Title
File
Vol 55, No 4 (2016)
Article
Undecidable Iterative Propositional Calculus
TOP
