Mechanical Resolution of Linguistic Problems
Thos. H. O'Beirne · Physics Bulletin · 1959
By A. D. Booth, L. Brandwood and J. P. Cleave London: Butterworth's Scientific Publications. Pp. vii + 306. Price 50s. Computers were first regarded as mathematical tools, and are used as such in many currently established procedures in science and technology. There is now a growing appreciation that more fundamentally they are logical tools, and that there are (or should be) many other rewarding fields for applied logic.