Реферат

на статью A. Ehrenfoucht, Ortowska "Mechanical proof procedure for prepositional calculus".