scientific article; zbMATH DE number 917173
From MaRDI portal
Publication:4889580
zbMATH Open0844.00017MaRDI QIDQ4889580FDOQ4889580
Author name not available (Why is that?)
Publication date: 14 August 1996
Title of this publication is not available (Why is that?)
ConferenceComputer scienceProceedingsPhysicsMathematicsBrno (Czech Republic)Logical foundationsGödel
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cited In (6)
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
- Title not available (Why is that?)
- Computational logic and proof theory. 3rd Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993. Proceedings
- Title not available (Why is that?)
- UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS
- The foundational debate. Complexity and constructivity in mathematics and physics. Proceedings of the conference on the foundational debate: constructivity and complexity in logic, mathematics and physics, Vienna, Austria, September 1994
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4889580)
