scientific article
From MaRDI portal
Publication:3699662
zbMATH Open0578.03003MaRDI QIDQ3699662
Publication date: 1982
Title of this publication is not available (Why is that?)
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- \(T\)-theory: An overview 👍 👎
- Proof-theory and semantics for a theory of definite descriptions 👍 👎
- An extension of the formal deductive system \({\mathcal L}^*\) 👍 👎
- Derived Varieties and Derived Equational Theories 👍 👎
- Formal Representation of Mathematics in a Dependently Typed Set Theory 👍 👎
- Elementary classification and decidability of theories of derived structures 👍 👎
- Model theory and the Tannakian formalism 👍 👎
- Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. 👍 👎
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 Q3699662)
