%0 Journal Article
%A N. A. Pankrat'ev
%T The disjunction property and Church's thesis in arithmetic with Grzegorczyk logic
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 1989
%P 63-65
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMUMM_1989_6_a16/
%G ru
%F VMUMM_1989_6_a16