M. Tapia

Publication Activity (10 Years)

Years Active: 1972-1972
Publications (10 Years): 0

Publications

Dorothy Bollman, M. Tapia
On the recursive unsolvability of the provability of the deduction theorem in partial propositional calculi. Notre Dame J. Formal Log. 13 (1) (1972)