M. Tapia

According to our database, M. Tapia authored at least 1 paper in 1972.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1972

On the recursive unsolvability of the provability of the deduction theorem in partial propositional calculi.

Dorothy Bollman, M. Tapia

Notre Dame J. Formal Log., 1972