Search Results - "Logics and Meanings of Programs."

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    Treatise on Intuitionistic Type Theory by Granstrm, Johan Georg

    Published 2011
    Subjects: “…Logics and Meanings of Programs.…”
    Get full text
    Electronic eBook
  2. 2

    Handbook of Philosophical Logic by Gabbay, D.M

    Published 2007
    Subjects: “…Logics and Meanings of Programs.…”
    Get full text
    Electronic eBook