Categorical logic and type theory

相似书籍

• Logic and Discrete Mathematics (A Computer Science Perspective)
  由: Grassmann, Winfried Karl
  出版: (1996)
• Logic and its applications
  由: Burke, Edmund
  出版: (1996)
• The Essence of logic
  由: Kelly, John J.
  出版: (1997)
• Symbolic logic
  由: Copi, Irving M.
  出版: (1979)
• Logic and its applications.
  由: Burke, Edmund
  出版: (1996)