選択資料から書架並びで前後20冊ずつを表示します。
Relative category theory and geometric morphisms : a logical approach / Jonathan Chapman and Frederick Rowbottom
書庫2階
Mathematical foundations of information flow : Clifford Lectures Information Flow in Physics, Geometry, and Logic and Computation, March 12-15, 2008, Tulane University, New Orleans, Louisiana / Samson Abramsky, Michael Mislove, editors
書庫2階
Homological algebra : the interplay of homology with distributive lattices and orthodox semigroups / Marco Grandis
書庫2階
Coherence in three-dimensional category theory / Nick Gurski
: hardback
書庫2階
Homological algebra : in strongly non-Abelian settings / Marco Grandis
書庫2階
Introduction to higher order categorical logic / J. Lambek, P.J. Scott
書庫2階
Sheaves in geometry and logic : a first introduction to topos theory / Saunders Mac Lane, Ieke Moerdijk
書庫2階
Papers in honour of Bernhard Banaschewski : proceedings fo the BB Fest 96, a conference held at the University of Cape town, 15-20 July 1996, on category theory and its applications to topology, order and algebra / edited by Guillaume Brümmer and Christopher Gilmour
書庫2階
The computational complexity of equivalence and isomorphism problems / Thomas Thierauf
書庫2階
Algebraic groups and related topics : proceedings of symposia held in Kyoto from September 5 until September 7, 1983 and held in Nagoya from October 11 until October 14, 1983 / edited by R. Hotta
書庫2階