scientific article
From MaRDI portal
Publication:2885194
zbMath1249.03036MaRDI QIDQ2885194
Pavel A. Shrajner, Larisa L. Maksimova
Publication date: 21 May 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Intermediate logics (03B55)
Related Items (2)
The tabularity problem over the minimal logic ⋮ Automatic checking properties of non-classical logics
This page was built for publication:
