This article is cited in 6 papers

Constructive formalization of the Tennenbaum theorem and its applications

V. E. Plisko

M. V. Lomonosov Moscow State University

UDC: 510

Received: 18.03.1988
Revised: 23.03.1989

 English version: Mathematical Notes, 1990, 48:3, 950–957

Bibliographic databases:

• 
• 
•