My Account | Home| Bulletin Board| Cart | Help
Close Session
IISER-KIndian Institute of Science Education & Research - Kolkata
Quick Search
Search Terms:
All Documents
Books
Newspapers
Periodicals
Articles
Theses
E-Books
Database : IISERK

Set Session Filters
Login to ask the library to add a book.
Active Filter Settings
No Active Filters
There are 0 titles in your cart.

Search History
Recommended Reading
You searched IISERK - Title: Categorical logic and type theory [electronic resource] / Bart Jacobs.
Bib Hit Count Scan Term
1   Categorical logic and type theory [electronic resource] / Bart Jacobs.
1   Categoricity / John T. Baldwin.
1   Categories and Commutative Algebra [electronic resource] / edited by P. Salmon.
1   Categories and modules with K-theory in view / A.J. Berrick & M.E. Keating.
1   Categories and representation theory : with a focus on 2-categorical covering theory / Hideto Asashiba ; translated by Hideto Asashiba.
1   Categories and Sheaves [electronic resource] / by Masaki Kashiwara, Pierre Schapira.
1   Categories and sheaves / Masaki Kashiwara, Pierre Schapira.
1   Categories for the working mathematician / Saunders Mac Lane.
1   Categories in algebra, geometry and mathematical physics : conference and workshop in honor of Ross Street's 60th birthday, July 11-16/July 18-21, 2005, Macquarie University, Sydney, Australia, Australian National University, Canberra, Australia / Alexei Davydov ... [et al.], editors.
1   Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation / John W. Gray and Andre Scedrov, editors.

« 30 « 20 « 10 « Back  |  Forward » 10 » 20 » 30 »


Browse Search

Words:
Search Type:
Database: IISERK


Set Session Filters
Copyright © 2014 VTLS Inc. All rights reserved.
VTLS.com