| RUS ENG |
| Full version |
|
|
|
| JOURNALS // Algebra i logika // Archive |
|
1967, Volume 6, Number 6
|
|
On models of the calculus L. L. Maksimova |
5 | |
|
|
On independent recursive axiomatisation in intuitionistic logic I. Reznikoff |
21 | |
|
|
The finitary approximability of the finite extension of a
nilpotent group with respect to conjugacy K. Seksenbaev |
29 | |
|
|
The algebra of partially recursive functions A. I. Shcheglov |
33 | |