|
This article is cited in 1 scientific paper (total in 1 paper)
Predicate logics of expressively strong theories
R. È. Yavorskii Steklov Mathematical Institute, Russian Academy of Sciences
Received: 17.11.1998
Citation:
R. È. Yavorskii, “Predicate logics of expressively strong theories”, Mat. Zametki, 66:5 (1999), 777–788; Math. Notes, 66:5 (1999), 642–650
Linking options:
https://www.mathnet.ru/eng/mzm1221https://doi.org/10.4213/mzm1221 https://www.mathnet.ru/eng/mzm/v66/i5/p777
|
|