scientific article; zbMATH DE number 1841841

zbMath0999.03060MaRDI QIDQ4783329

Grigore Roşu

Publication date: 4 December 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2142/21420528

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Equational classes, universal algebra in model theory (03C05)

Related Items (3)

The orthogonal subcategory problem and the small object argument ⋮ Some Co-Birkhoff Type Theorems ⋮ A logic of implications in algebra and coalgebra

Uses Software

• OBJ3
• CafeOBJ
• Maude

This page was built for publication: