Loading...
Introduction to higher order categorical logic
Main Author: | Lambek, J |
---|---|
Other Authors: | Scott, P J |
Format: | Printed Book |
Published: |
Cambridge University Press, Cambridge
1986
|
Subjects: |
Similar Items
-
Sheavers in geometry and logic
by: Lane, Saunders Mac
Published: (1992) -
Introduction to
by: Ren, Li Bing
Published: (1999) -
Introduction to homological algebra
by: Rotman, Joseph J
Published: (2009) -
Introduction to topological groups
by: Husain, Taqdir
Published: (1966) -
Introduction to homological algebra
by: Hu, Sze-Tsen
Published: (1968)