Found 4 Documents (Results 1–4)
Paradeduction in axiomatic formal systems. (English) Zbl 1451.03022
Reviewer: Gemma Robles (León)
MSC:
03B53
(De)motivating gluts. (English) Zbl 1540.03009
MSC:
03A05