First Order Categorical Logic
Subtitle: Model-Theoretical Methods in the Theory of Topoi and Related Categories
Publisher: Springer
Published: Oct 05, 1977
Format: paperback
Number of pages: 320
ISBN-13: 9783540084396
Notes: Source title: First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories (Lecture Notes in Mathematics)