Has where published Arch. Math. Log.
From Tetherless World Wiki
A list of all pages that have property "Has where published" with value "Arch. Math. Log."- Categorical abstract algebraic logic categorical algebraization of first-order logic without terms +
