scientific article

zbMath0967.03001MaRDI QIDQ2702282

Andrzej Indrzejczak

Publication date: 28 August 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

consequence operationnatural deduction

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Related Items

Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction