scientific article
From MaRDI portal
Publication:2904347
zbMath1254.03005MaRDI QIDQ2904347
No author found.
Publication date: 14 August 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) General logic (03Bxx) Proof theory and constructive mathematics (03Fxx) Set theory (03Exx)
Related Items (5)
Mathematics as the Art of Abstraction ⋮ MTV logics ⋮ Intuitionistic conditional logics ⋮ Logic—The Big Picture ⋮ Constructive Modalities with Provability Smack
This page was built for publication:
