scientific article; zbMATH DE number 6423952
From MaRDI portal
Publication:4982591
zbMath1321.03019MaRDI QIDQ4982591
Publication date: 9 April 2015
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)
Related Items (2)
The Rule of Existential Generalisation and Explicit Substitution ⋮ Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach
This page was built for publication:
