scientific article; zbMATH DE number 3532927

From MaRDI portal

Revision as of 07:39, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:4109655

Jump to:navigation, search

zbMath0342.02022MaRDI QIDQ4109655

Dag Prawitz

Publication date: 1975

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

Mathematics Subject Classification ID

Model theory (03C99) Proof theory and constructive mathematics (03F99)

Related Items (2)

Sequential method in propositional dynamic logic ⋮ A study of Kripke-type models for some modal logics by Gentzen's sequential method

This page was built for publication:

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