scientific article
From MaRDI portal
Publication:4003521
zbMath0764.03001MaRDI QIDQ4003521
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenesssequent calculuslinear logicsemanticsincompletenessfirst-order languagesrecursive functionsfirst-order calculus
This page was built for publication: