Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/scedrov

Andrej Ščedrov (scedrov)

Contributions to Philosophie.ch

No contributions yet

Bibliography

    Hansen, Helle Hvid, Ščedrov, Andrej and de Queiroz, Ruy J. G. B., eds. 2023. Logic, Language, Information, and Computation. Proceedings of the 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Lecture Notes in Computer Science n. 13923. Berlin: Springer, doi:10.1007/978-3-031-39784-4.
    Harrington, Leo A., Morley, M. D., Ščedrov, Andrej and Simpson, Stephen G., eds. 1985. Harvey Friedman’s Research on the Foundations of Mathematics. Studies in Logic and the Foundations of Mathematics n. 117. Amsterdam: North-Holland Publishing Co.
    Miller, Dale E., Nadathur, Gopalan, Pfenning, Frank and Ščedrov, Andrej. 1991. Uniform Proofs as a Foundation for Logic Programming.” Annals of Pure and Applied Logic 51: 125–157.
    Ščedrov, Andrej. 1982. Independence of the Fan Theorem in the Presence of Continuity Principles.” in The L.E.J. Brouwer Centenary Sympsoium, Proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981, edited by Anne Sjerp Troelstra and Dirk van Dalen, pp. 435–442. Studies in Logic and the Foundations of Mathematics n. 110. Amsterdam: North-Holland Publishing Co.
    Ščedrov, Andrej. 1985. Extending Gödel’s Modal Interpretation to Type Theory and Set Theory.” in Intensional Mathematics, edited by Stewart Shapiro, pp. 81–120. Studies in Logic and the Foundations of Mathematics n. 113. Amsterdam: North-Holland Publishing Co.
    Ščedrov, Andrej and Scott, Philip. 1982. A Note on the Friedman Slash and Freyd Covers.” in The L.E.J. Brouwer Centenary Sympsoium, Proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981, edited by Anne Sjerp Troelstra and Dirk van Dalen, pp. 443–452. Studies in Logic and the Foundations of Mathematics n. 110. Amsterdam: North-Holland Publishing Co.