scientific article; zbMATH DE number 7599487
From MaRDI portal
Publication:5040168
zbMath1496.18003MaRDI QIDQ5040168
Publication date: 11 October 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Foundations, relations to logic and deductive systems (18A15) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)
Related Items (3)
Set Theory and Structures ⋮ Set-theoretic foundations ⋮ Category theory in Isabelle/HOL as a basis for meta-logical investigation
This page was built for publication:
