scientific article; zbMATH DE number 5192055
From MaRDI portal
Publication:5307881
zbMATH Open1120.03304MaRDI QIDQ5307881
Publication date: 19 September 2007
Title of this publication is not available (Why is that?)
Could not fetch data.
Related Items (12)
On bimodal logics of provability ⋮ Title not available (Why is that?) ⋮ Provability in predicate product logic ⋮ Rosser provability and normal modal logics ⋮ Provability logic and the completeness principle ⋮ Title not available (Why is that?) ⋮ A proof-irrelevant model of Martin-Löf's logical framework ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases ⋮ Proofs and Models in Philosophical Logic
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 Q5307881)
