Many-valued logical machines
- 1 July 1958
- journal article
- research article
- Published by Cambridge University Press (CUP) in Mathematical Proceedings of the Cambridge Philosophical Society
- Vol. 54 (3) , 307-321
- https://doi.org/10.1017/s0305004100033508
Abstract
McCallum and Smith (1) have developed a logical computer which solves problems which are essentially of the following kind.Keywords
This publication has 2 references indexed in Scilit:
- Application of bi-elemental boolean algebra to electronic circuitsStudia Logica, 1955
- Introduction to a General Theory of Elementary PropositionsAmerican Journal of Mathematics, 1921