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.
Яворский, Ростислав Эдуардович
and
Yavorskii, Rostislav Eduardovich
1999.
Предикатные логики выразительно сильных теорий.
Математические заметки,
Vol. 66,
Issue. 5,
p.
777.
Yavorskii, R. É.
1999.
Predicate logics of expressively strong theories.
Mathematical Notes,
Vol. 66,
Issue. 5,
p.
642.
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.