scientific article
From MaRDI portal
Publication:3693677
zbMath0574.18002MaRDI QIDQ3693677
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Ultraproducts and related constructions (03C20) Foundations, relations to logic and deductive systems (18A15) Abstract model theory (03C95)
This page was built for publication:
