Scedrov, Andrej books & textbook
Categories in Computer Science and Logic: Proceedings of the Ams-Ims-Siam Joint Summer Research Conference Held June 14-20, 1987 With Support from T (Contemporary Mathematics, 92)
Ams-Ims-Siam Joint Summer Research Conference in the Mathematical Scie Gray, John W. National Science Foundation Scedrov, Andrej
Amer Mathematical Society /1989-06-01 Paperback / 382 Pages
isbn-10: 0821851004 / isbn-13: 9780821851005
Forcing and Classifying Topoi (Memoirs of the American Mathematical Society)
Amer Mathematical Society / Paperback
isbn-10: 0821822942 / isbn-13: 9780821822944
