RUS  ENG
Full version
JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1989 Volume 308, Number 4, Pages 788–791 (Mi dan6923)

This article is cited in 1 paper

MATHEMATICS

The similarity of properties of recursively enumerable and finitely axiomatizable theories

M. G. Peretyat'kin

Institute of Mathematics and Mechanics, AS of KazSSR, Alma-Ata

UDC: 517.1

Presented: V. S. Vladimirov
Received: 26.05.1988


 English version:
Doklady Mathematics, 1990, 40:2, 372–375

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2026