scientific article
From MaRDI portal
Publication:3757914
zbMATH Open0621.03038MaRDI QIDQ3757914
Publication date: 1987
Title of this publication is not available (Why is that?)
Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Structure of proofs (03F07)
Related Items (4)
Franco Montagna's work on provability logic and many-valued logic ⋮ Validating Brouwer's continuity principle for numbers using named exceptions ⋮ Title not available (Why is that?) ⋮ Semantical proofs of correctness for programs performing non-deterministic tests on real numbers
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3757914)
