713 Logic
: Sigma Formulas And Robinsons Q
(39/90)
(39/90)