Works matching IS 00405825 AND DT 1988 AND VI 54 AND IP 1

Results: 4

    • Imperative logic as based on a Galois connection.

      Published in:
      Theoria: A Swedish Journal of Philosophy, 1988, v. 54, n. 1, p. 1, doi. 10.1111/j.1755-2567.1988.tb00709.x
      By:
      • JOHANSON, ARNOLD
      Publication type:
      Article

    • Reading proofs with understanding.

      Published in:
      Theoria: A Swedish Journal of Philosophy, 1988, v. 54, n. 1, p. 31, doi. 10.1111/j.1755-2567.1988.tb00711.x
      By:
      • WEAVER, GEORGE
      Publication type:
      Article

    • Review.

      Published in:
      Theoria: A Swedish Journal of Philosophy, 1988, v. 54, n. 1, p. 48, doi. 10.1111/j.1755-2567.1988.tb00712.x
      Publication type:
      Article

    • Searle on first person meaning and indeterminacy.

      Published in:
      Theoria: A Swedish Journal of Philosophy, 1988, v. 54, n. 1, p. 25, doi. 10.1111/j.1755-2567.1988.tb00710.x
      By:
      • MALACHOWSKI, ALAN
      Publication type:
      Article