PKK Library catalog › Results of search for 'su:{Categories Mathematics}'

Refine your search

Availability
- Limit to currently available items.
Authors
- Eilenberg, S., ed. (2)
- Faith, Carl (2)
- Lambek,J. (1)
- Mac Lane, Saunders (1)
- Szabe, M. E. (2)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (25)
Home libraries
- PK Kelkar Library, IIT Kanpur (25)
Item types
- Books (25)
Series
Topics
- Algorithms (1)
- Banach Spaces (1)
- Categories (Mathematics) (17)
- Categories (Mathematics) -- Addresses, Essays, Lectures (3)
- Categories (Mathematics) -- Cong (2)
- Categories (Mathematics) -- Congresses (1)
- Categories (Mathematics) -- Data Processing (1)
- Combinatory Logic (2)
- Electronic Data Processing -- Mathematics -- Cong (1)
- File organization (Computer science) (1)
- Functor Theory (4)
- Fuzzy Sets -- Cong (1)
- Lambda Calculus -- Congresses (1)
- Machine Thoery (1)
- Model Theory -- Congresses (1)
- Modules (Algebra) (3)
- Proof Theory (2)
- Rings (Algebra) (2)
- Statistics (1)
- Toposes (1)

	21.	Higher topos theory by Lurie, Jacob. Material type: Book; Format: print ; Literary form: not fiction Description: xv, 925p.Publisher: Princeton Princeton University Press 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.62 L974h] (1). Place hold Add to cart (remove)
	22.	Categorical algebra : proceedings by Conference on Categorical Algebra San Diego 1965 \| Eilenberg, S., ed. Harrison, D.K., ed. Maclane, S., ed. Rohrl, H., ed. Description: 562p.Publisher: Berlin Springer-Verlag 1966Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.8 C76p] (1). Place hold Add to cart (remove)
	23.	Categorical Algebra : proceedings of the conference on categorical algebra held at SanDiego campus of University of California, June 7-12, 1965 by United States Air Force Office Of Scientific Research \| Sandiego 1965 \| Eilenberg, S., ed. Harrison, D.K., ed. MacLane, S., ed. Rohrl, H., ed. Description: 562.Publisher: New York Springer-Verlag 1966Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.8 C76p] (1). Place hold Add to cart (remove)
	24.	LOGIC COLLOQUIUM' 82 by Lolli, G \| Longo, G \| . Description: viii,358.Publisher: Amsterdam North-Holland 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 L829] (1). Place hold Add to cart (remove)
	25.	Categories in computer science and logic : proceedings... by AMS-IMS-SIAM Joint Summer Research Conference on Categories in Computer Science and Logic Boulder June 14-20, 1987 \| Gray, John W. [ed.] \| Scedrov, Andrej [ed.] \| National Science Foundation (U.S.). Description: x, 382p.Publisher: Providence American Mathematical Society 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.015 Am35c] (1). Place hold Add to cart (remove)

PKK Library

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Refine your search

Authors

Item types

Series

Topics