Math 2.0

Resources / monograph

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories HDM2MQZ9QE

URIm2://res/HDM2MQZ9QE
Kindmonograph
CreatorsMichael Makkai, Gonzalo E. Reyes
Date1977
Scopein

Expressions

e1: edition

Date1977
IdsDOI 10.1007/bfb0066201

Relations

Catalogue records