Categorical logic and type theory
Saved in:
Main Author: | Jacobs, Bart |
---|---|
Format: | Tandon |
Language: | Asing |
Published: |
Elsevier
1999
|
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Logic and Discrete Mathematics (A Computer Science Perspective)
by: Grassmann, Winfried Karl
Published: (1996) -
Logic and its applications
by: Burke, Edmund
Published: (1996) -
The Essence of logic
by: Kelly, John J.
Published: (1997) -
Symbolic logic
by: Copi, Irving M.
Published: (1979) -
Logic and its applications.
by: Burke, Edmund
Published: (1996)