3 results
Edsger W. Dijkstra and Carel S. Scholten. Predicate calculus and program semantics. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1990, xi + 220 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 2 / June 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 673-678
- Print publication:
- June 1994
-
- Article
- Export citation
Conservative reduction classes of Krom formulas1
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 110-130
- Print publication:
- March 1982
-
- Article
- Export citation
Maria Luisa Dalla Chiara Scabia. Modelli sintattici e semantici delle teorie elementari. Feltrinelli Editore, Milan1968, 240 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 236-237
- Print publication:
- June 1975
-
- Article
- Export citation