Showing 1 - 11 results of 11 for search 'Ščedrov, Andrej, 1955-', query time: 0.03s Refine Results
  1. 1
    Forcing and classifying topoi /

    Forcing and classifying topoi / by Ščedrov, Andrej, 1955-

    Published 1984
    Book
    Save to List
    Saved in:
  2. 2
    Forcing and classifying topoi /

    Forcing and classifying topoi / by Ščedrov, Andrej, 1955-

    Published 1984
    Full Text (via ProQuest)
    eBook
    Save to List
    Saved in:
  3. 3
    Freyd's models for the independence of the axiom of choice /

    Freyd's models for the independence of the axiom of choice / by Blass, Andreas, 1947-, Ščedrov, Andrej, 1955-

    Published 1989
    Full Text (via ProQuest)
    eBook
    Save to List
    Saved in:
  4. 4
    Freyd's models for the independence of the axiom of choice /

    Freyd's models for the independence of the axiom of choice / by Blass, Andreas, 1947-

    Published 1989
    Other Authors: “…Ščedrov, Andrej, 1955-…”
    Book
    Save to List
    Saved in:
  5. 5
    Categories, allegories /

    Categories, allegories / by Freyd, Peter J.

    Published 1990
    Other Authors: “…Ščedrov, Andrej, 1955-…”
    Book
    Save to List
    Saved in:
  6. 6
    Categories, allegories

    Categories, allegories by Freyd, Peter J.

    Published 1990
    Other Authors: “…Ščedrov, Andrej, 1955-…”
    Full Text (via ScienceDirect)
    Electronic eBook
    Save to List
    Saved in:
  7. 7
    Tools and methods of program analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised selected papers /

    Tools and methods of program analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised selected papers /

    Published 2018
    Other Authors:
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  8. 8
    Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation /

    Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation...

    Published 1989
    Other Authors:
    Full Text (via ProQuest)
    Conference Proceeding eBook
    Save to List
    Saved in:
  9. 9
    Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation /

    Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation...

    Published 1989
    Other Authors:
    Conference Proceeding Book
    Save to List
    Saved in:
  10. 10
    Logic, language, information, and computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings /

    Logic, language, information, and computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings /

    Published 2023
    Other Authors:
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  11. 11
    Logic, language, and security : essays dedicated to Andre Scedrov on the occasion of his 65th birthday /

    Logic, language, and security : essays dedicated to Andre Scedrov on the occasion of his 65th birthday /

    Published 2020
    Other Authors:
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search