Warren, Don review of Bauer 1960 - stanislaus
(1960)
[ACM] (1960)
ACM Computing Reviews, January-December 1960
Languages mentioned
stanislaus
{1951} propositional calculus