×

zbMATH — the first resource for mathematics

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].
Reviewer: Reviewer (Berlin)

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
PDF BibTeX XML Cite