Categorical logic and type theory

Benzer Materyaller

• Logic and Discrete Mathematics (A Computer Science Perspective)
  Yazar:: Grassmann, Winfried Karl
  Baskı/Yayın Bilgisi: (1996)
• Logic and its applications
  Yazar:: Burke, Edmund
  Baskı/Yayın Bilgisi: (1996)
• The Essence of logic
  Yazar:: Kelly, John J.
  Baskı/Yayın Bilgisi: (1997)
• Symbolic logic
  Yazar:: Copi, Irving M.
  Baskı/Yayın Bilgisi: (1979)
• Logic and its applications.
  Yazar:: Burke, Edmund
  Baskı/Yayın Bilgisi: (1996)