Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Uspensky, Vladimir A.
1997.
Logic and Scientific Methods.
p.
457.
Yavorskii, R. É.
1999.
Predicate logics of expressively strong theories.
Mathematical Notes,
Vol. 66,
Issue. 5,
p.
642.
Яворский, Ростислав Эдуардович
and
Yavorskii, Rostislav Eduardovich
1999.
Предикатные логики выразительно сильных теорий.
Математические заметки,
Vol. 66,
Issue. 5,
p.
777.
Artemov, Sergei N.
2001.
Explicit Provability and Constructive Semantics.
Bulletin of Symbolic Logic,
Vol. 7,
Issue. 1,
p.
1.
Ursini, Aldo
2017.
Franco Montagna (1948–2015).
Soft Computing,
Vol. 21,
Issue. 1,
p.
1.
Yavorsky, Rostislav E.
2017.
Logic Colloquium '99.
p.
200.