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:
- Publication type:
- Article
Works matching IS 00405825 AND DT 1988 AND VI 54 AND IP 1
Results: 4
1
2
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:
- Publication type:
- Article
3
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
4
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:
- Publication type:
- Article