scientific article
From MaRDI portal
Publication:3693508
zbMath0575.03012MaRDI QIDQ3693508
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Decidability of theories and sets of sentences (03B25) Proof theory and constructive mathematics (03F99)
This page was built for publication:
