scientific article; zbMATH DE number 733385
From MaRDI portal
Publication:4325773
zbMath0824.03035MaRDI QIDQ4325773
No author found.
Publication date: 13 March 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveyproof theorytoposcompleteness of higher-order logicGentzen style proof theorysubcongruence completion of deductive systems
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Categorical logic, topoi (03G30) Topoi (18B25) Cut-elimination and normal-form theorems (03F05)
Related Items (1)
This page was built for publication: