Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Geodesic
Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Algebra i logika
Tome 3 (1964)
no. 3
Précédent
Suivant
Volume 3 (1964) no. 3
Sommaire
Decidability of certain elementary theories
M. A. Taitslin
p. 5-12
On the realization of a relation in a topological group
A. A. Vinogradov
p. 13-15
Decidability of the elementary theory of relatively complemented
Yu. L. Ershov
p. 17-38
Some properties of algebras of recursive functions
E. A. Polyakov
p. 39-57
On an axiom system for a calculus of strict implication
L. L. Maksimova
p. 59-68