Categorical logic and type theory /

• Κύριος συγγραφέας: Jacobs, Bart (συγγραφέας.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Amsterdam : Elsevier, 1999.
• Σειρά: Studies in logic and the foundations of mathematics 141.
• Θέματα: Λογική, Συμβολική και μαθηματική
• Φυσική περιγραφή: xviii, 760 σ. ; 23 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 0444501703