Sheavers in geometry and logic

類似資料

• Categories for working mathematician
  著者:: Lane, Saunders Mac
  出版事項: (1998)
• Categories for the working mathematician
  著者:: Lane, Sunders Mac
  出版事項: (1998)
• Introduction to higher order categorical logic
  著者:: Lambek, J
  出版事項: (1986)
• Geometry of state spaces of operator algebras
  著者:: Alfsen, Erik M
  出版事項: (2002)
• Lie groupoids and lie algebroids in differential geometry
  著者:: Mackenzie, K
  出版事項: (1987)