scientific article
From MaRDI portal
Publication:2964182
zbMath1356.03001MaRDI QIDQ2964182
Publication date: 23 February 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05) Recursive functions and relations, subrecursive hierarchies (03D20)
Related Items (1)
This page was built for publication:
