3 results
Donald Nute. Essential formal semantics. Rowman and Littlefield, Totowa, N.J., 1981, xiii + 186 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 252-253
- Print publication:
- March 1986
-
- Article
- Export citation
R. Harrop. Some forms of models of propositional calculi. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 163–174. - Ronald Harrop. On the equivalence for non-derivability testing of finite Smiley models and finite modified Smiley models. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 17 (1971), pp. 137–143.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 251
- Print publication:
- June 1975
-
- Article
- Export citation
Timothy Smiley. The independence of connectives. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 426–436.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 250-251
- Print publication:
- June 1975
-
- Article
- Export citation