Introduction to higher order categorical logic

מידע ביבליוגרפי
מחבר ראשי: Lambek, J
מחברים אחרים: Scott, P J
פורמט: Printed Book
יצא לאור: Cambridge University Press, Cambridge 1986
נושאים:
Topological and related algebra and groups

פריטים דומים