scientific article; zbMATH DE number 1421202

From MaRDI portal

Revision as of 08:04, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4946231

Jump to:navigation, search

zbMath0954.03009MaRDI QIDQ4946231

Alessandra Russo, Marcello D'Agostino, Krysia Broda

Publication date: 5 February 2001

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

zbMATH Keywords

natural deduction labelled deductive system labelled analytic deduction

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

This page was built for publication:

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