Contact Privacy DMCA

Robuta
https://portal.mardi4nfdi.de/wiki/Publication:4586413 Deduction-detachment theorem and Gentzen-style deductive systems - MaRDI portal deductiondetachmenttheoremgentzenstyle