RUS
ENG
Full version
JOURNALS
// Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika
// Archive
Vestnik Moskov. Univ. Ser. 1. Mat. Mekh.,
1989
Number 5,
Pages
83–85
(Mi vmumm2868)
Short notes
Predicate calculus and arithmetic with Grzegorczyk logic
N. A. Pankrat'ev
UDC:
510.65
Fulltext:
PDF file (401 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (401 kB)