Introduction to higher order categorical logic

Sonraí Bibleagrafaíochta
Príomhúdar: Lambek, J
Údair Eile: Scott, P J
Formáid: Printed Book
Foilsithe: Cambridge University Press, Cambridge 1986
Ábhair:
Topological and related algebra and groups

Míreanna Comhchosúla