IMSc Library catalog › Details for: Categorical Logic and Type Theory : (SL

Normal view MARC view ISBD view

Categorical Logic and Type Theory : (SL - FM 141)

By: Jacobs, BMaterial type: Text

TextSeries: Studies in Logic and the Foundations of Mathematics, 141Publication details: Netherlands ; Elsevier ; 1999Description: 760ISBN: 0 444 50170 3Subject(s): Logic Type Theory

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	510.6 JAC (Browse shelf (Opens below))		Available		43738

Previous	No cover image available							Next
Previous	510.6 HU Threshold logic	510.6 HUG A New introduction to Modal Logic	510.6 IMM Descriptive Complexity and Finite Models	510.6 JAC Categorical Logic and Type Theory : (SL - FM 141)	510.6 JAC Companion to philosophical logic	510.6 JAC Philosophy of logic: anthology	510.6 JI Handbook of Group Actions V	Next

There are no comments on this title.

to post a comment.