Scan barcode
38 pages • missing pub info (editions)
ISBN/UID: 9781287275893
Format: Paperback
Language: English
Publisher: Bibliogov
Publication date: 02 August 2013
Description
Institutions formalize the intuitive notion of logical system, including both syntax and semantics. A surprising number of different notions of morphisim have been suggested for forming categories with institutions as objects, and a surprising var...
Community Reviews
Content Warnings
38 pages • missing pub info (editions)
ISBN/UID: 9781287275893
Format: Paperback
Language: English
Publisher: Bibliogov
Publication date: 02 August 2013
Description
Institutions formalize the intuitive notion of logical system, including both syntax and semantics. A surprising number of different notions of morphisim have been suggested for forming categories with institutions as objects, and a surprising var...