Applications of categories in computer science : proceedings of the LMS symposium, Durham 1991


edited by M. P. Fourman, P. T. Johnstone, A. M. Pitts
Bok Engelsk 1992

Detaljer

Bibliotek som har denne