Computability of partial functions and enumerability of sets in Peano arithmetic

I. A. Lavrov

Institute of Mathematics, Siberian Branch of USSR Academy of Sciences, Novosibirsk

UDC: 517.11:518.5

Received: 22.08.1978

 English version: Siberian Mathematical Journal, 1979, 20:6, 900–904

Bibliographic databases:

• 
• 
•