Introduction to higher order categorical logic

Bibliografiset tiedot
Päätekijä: Lambek, J
Muut tekijät: Scott, P J
Aineistotyyppi: Printed Book
Julkaistu: Cambridge University Press, Cambridge 1986
Aiheet:
Topological and related algebra and groups

Samankaltaisia teoksia