Reviews
James R. Slagle. Experiments with a deductive question-answering program. Communications of the ACM, vol. 8 (1965), pp. 792–798.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 596
-
- Article
- Export citation
James R. Slagle and Philip Bursky. Experiments with a multipurpose, theorem-proving heuristic program. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 85–99.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 596
-
- Article
- Export citation
S. Summersbee and A. Walters. Programming the functions of formal logic, II (Multivalued logics). Notre Dame journal of formal logic, vol. 4 no. 4 (for 1963, pub. 1964), pp. 293–305.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 596-597
-
- Article
- Export citation
A. Porter and P. K. T. Vaswani. The optimization of logical goal-seeking procedures. Journal of electronics and control, ser. 1 vol. 6 (1959), pp. 168–185.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 597
-
- Article
- Export citation
Sampo Salovaara. On set theoretical foundations of system theory. A study of the state concept. Acta polytechnica Scandinavica, Mathematics and computing machinery series no. 15, Finnish Academy of Technical Sciences, Helsinki1967, 78 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 597
-
- Article
- Export citation
Chen Chuan Chong. An application of electric circuits in mathematical logic. Majallah Tahunan ‘Ilmu Pasti—Shu Hsiieh Nien K'an—Bulletin of Mathematical Society of Nanyang University (1963), pp. 119–126.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 597
-
- Article
- Export citation
Abstract
Meeting of the Association for Symbolic Logic, Manchester 1969
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 598-612
-
- Article
- Export citation
Other
Summer school and colloquium in logic first communication
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 613
-
- Article
- Export citation
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 614-653
-
- Article
- Export citation
Index of reviews by subjects
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 654-708
-
- Article
- Export citation
Front matter
JSL volume 35 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f3
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 35 issue 4 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
-
- Article
-
- You have access
- Export citation