BAUER, F. L. The formula-controlled logical computer "stanislaus." Math. Tabl. Aids Comp. 14, 69 (January 1960), pp64-67
(1960)
Fritz Bauer
Languages mentioned
stanislaus
{1951} propositional calculus