N. A. Pankrat'ev, “The disjunction property and Church's thesis in arithmetic with Grzegorczyk logic”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1989, Number 6,Pages <nobr>63

JOURNALS // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika // Archive

Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1989 Number 6, Pages 63–65 (Mi vmumm2891)

Short notes

The disjunction property and Church's thesis in arithmetic with Grzegorczyk logic

N. A. Pankrat'ev

UDC: 510.65

Received: 14.11.1988

Fulltext: PDF file (454 kB)

Bibliographic databases: