R. È. Yavorskii, “Predicate logics for decidable fragments of arithmetic”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1998, Number 2,Pages <nobr>12

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

Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1998 Number 2, Pages 12–16 (Mi vmumm1759)

This article is cited in 1 paper

Mathematics

Predicate logics for decidable fragments of arithmetic

R. È. Yavorskii

UDC: 510.6

Received: 10.10.1996

Fulltext: PDF file (978 kB)
Cited by

Bibliographic databases: