scientific article

From MaRDI portal

Publication:4001984

Jump to:navigation, search

zbMath0744.03010MaRDI QIDQ4001984

Javier Legris

Publication date: 18 September 1992

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

zbMATH Keywords

intuitionistic logic justification logic of mathematical knowledge sequent-calculus

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4001984&oldid=17694624"