Categorical logic and type theory /

• Main Author: Jacobs, Bart (συγγραφέας.)
• Format: Book
• Language: English
• Published: Amsterdam : Elsevier, 1999.
• Series: Studies in logic and the foundations of mathematics 141.
• Subjects: Λογική, Συμβολική και μαθηματική
• Physical Description: xviii, 760 σ. ; 23 εκ.
• Bibliography: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 0444501703