The theory of mathematical machines.
Subtitle: Edited by Yu. Ya. Bazilevskii.  Translated from the Russian by C.A.R. Hoare.  Translation edited by J.M. Jackson.
Contributors: Bazilevskiǐ, IUriǐ IAkovich,
Publisher: Pergamon Press
Published: 1963
Place of publication: Oxford
Language: eng
Number of pages: 264
Subjects: Electronic digital computers -- Collected works; Logic, Symbolic and mathematical -- Collected works; Mathematical models -- Collected works