Introduction to higher order categorical logic

समान संसाधन

• Sheavers in geometry and logic
  द्वारा: Lane, Saunders Mac
  प्रकाशित: (1992)
• Introduction to
  द्वारा: Ren, Li Bing
  प्रकाशित: (1999)
• Introduction to homological algebra
  द्वारा: Rotman, Joseph J
  प्रकाशित: (2009)
• Introduction to topological groups
  द्वारा: Husain, Taqdir
  प्रकाशित: (1966)
• Introduction to homological algebra
  द्वारा: Hu, Sze-Tsen
  प्रकाशित: (1968)