//]]>
Item type | Location | Call Number | Status | Date Due |
---|---|---|---|---|
E-Book | AUM Main Library | 006.6 (Browse Shelf) | Not for loan |
Editorial Preface -- Dov M. Gabbay -- Lambda Calculi: A Guide -- Chris Hankin -- Interpolation and Definability -- Dov Gabbay and Larisa L. Maksimova -- Discourse Representation Theory -- Hans Kamp, Josef van Genabith and Uwe Reyle -- Index.
Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory
There are no comments for this item.