Showing 1 - 3 results of 3 for search '', query time: 0.18s Refine Results
  1. 1

    Semantics and logics of computation /

    Published 1997
    Publisher description
    Table of contents
    Book
  2. 2

    First-order in dynamic logic / by Harel, David, 1950-

    Published 1979
    Book
  3. 3

    Problems in the constructive trend in mathematics V /

    Published 1972
    Book