Topos and higher order logic - logic by category theory  ISBN
Subtitle: 4130120573 [Japanese Import]
Publisher: ToÌ„kyoÌ„ : ToÌ„kyoÌ„ Daigaku Shuppankai, 2007.
Published: Dec 18, 2007
Format: tankobon hardcover
ISBN-13: 9784130120579
Notes: Source title: Topos and higher order logic - logic by category theory (2007) ISBN: 4130120573 [Japanese Import]