scientific article; zbMATH DE number 7198976
From MaRDI portal
Publication:5109401
zbMath1434.03001MaRDI QIDQ5109401
No author found.
Publication date: 11 May 2020
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) Logic programming (68N17) General logic (03Bxx)
Uses Software
This page was built for publication:
