scientific article; zbMATH DE number 7084956
From MaRDI portal
Publication:5224694
zbMath1418.03034MaRDI QIDQ5224694
Julia Ilin, Fan Yang, Dick H. J. de Jongh
Publication date: 24 July 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First-order arithmetic and fragments (03F30) Subsystems of classical logic (including intuitionistic logic) (03B20)
This page was built for publication: