History of Logic - DUMITRIU, Anton (New Delhi Heritage, 1991)
Keywords: he decision problem; Formal technique