Selected parers on automath

Contributor(s):

Material type: Text

TextLanguage: English Series: Studies in logic and the foundations of mathematics; 133Publication details: Amsterdam Elsevier 1994Description: xix,1024pISBN:

Subject(s):

DDC classification:

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

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Books	ISI Library, Kolkata	511.3 N371 (Browse shelf(Opens below))	Available		115126

Total holds: 0

Previous			No cover image available					Next
Previous	511.3 M916 Foundational studies : selected works	511.3 Mc161 Elementary categories,elementary toposes	511.3 N147 Godel's proof	511.3 N371 Selected parers on automath	511.3 N371 Type theory and formal proof :	511.3 N532 Constructive mathematics	511.3 N576 First course in fuzzy logic	Next

There are no comments on this title.

to post a comment.