Javascript is not enabled! Please turn on Javascript to use this site.

邏輯

共同教育中心 傅皓政

  • Arnold vander Nat, Simple Formal Logic, NY: Routledge, 2010.
  • Leigh S. Cauman, First-Order Logic, NY: de Gruyter, 1998.
  • Raymond M. Smullyan, First-Order Logic, NY: Dover, 1968, 1995.