×

Introducing institutions. (English) Zbl 1288.03001

Béziau, Jean-Yves (ed.), Universal logic: An anthology. From Paul Hertz to Dov Gabbay. Basel: Birkhäuser (ISBN 978-3-0346-0144-3/pbk; 978-3-0346-0145-0/ebook). Studies in Universal Logic, 323-357 (2012).
Reprint of [Zbl 0543.68021].
For the entire collection see [Zbl 1237.03003].

MSC:

03-03 History of mathematical logic and foundations
01A75 Collected or selected works; reprintings or translations of classics
03C95 Abstract model theory
03G30 Categorical logic, topoi
68Q65 Abstract data types; algebraic specification

Citations:

Zbl 0543.68021
PDF BibTeX XML Cite