Introduction to higher order categorical logic

Opis bibliograficzny
1. autor: Lambek, J
Kolejni autorzy: Scott, P J
Format: Printed Book
Wydane: Cambridge University Press, Cambridge 1986
Hasła przedmiotowe:
Topological and related algebra and groups

Podobne zapisy