Topos and higher order logic - logic by category theory (2007) ISBN: 4130120573 [Japanese Import]

category

by Yoshio Shimizu

Tankobon Hardcover

ISBN: 978-4-13-012057-9

ISBN-10: 4-13-012057-3

ToÌ"kyoÌ" : ToÌ"kyoÌ" Daigaku Shuppankai, 2007. · 2007