Valery Plisko (plisko)

Contributions to Philosophie.ch

Bibliography

Plisko, Valery. 2003. “Arithmetic Complexity of the Predicate Logics of Complete Arithmetic Theories.” in Logic, Methodology and Philosophy of Science XI: Philosophical Dimensions of Logic and Science – Selected Contributed Papers from the 11th International Congress of Logic, Methodology, and Philosophy of Science, Kraków, 1999, edited by Artur Rojszczak, Jacek Cachro, and Gabriel Kurczewski, pp. 57–66. Synthese Library n. 320. Dordrecht: Kluwer Academic Publishers.
Plisko, Valery. 2009. “A Survey of Propositional Realizability Logic.” The Bulletin of Symbolic Logic 15(1): 1–42.