Publisher
Springer Berlin Heidelberg
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. General Logics;Studies in Logic and the Foundations of Mathematics;1989
2. On conceptual completeness of syntactic-semantical systems;Periodica Mathematica Hungarica;1985-09
3. References;Topoi - The Categorial Analysis of Logic;1984
4. On functorializing usual first-order model theory;Lecture Notes in Mathematics;1979
5. Bibliography;Algebra of Proofs;1978