The logical basis for computer programming

類似資料

• Elements of mathematical logic
  著者:: Novikov, P. S. (Petr Sergeevich)
  出版事項: (1964)
• Initiation au raisonnement deductif au college: une suite de situations permettant l`appropriation des regles du debat mathematique
  著者:: Arsac, Gilbert, 等
  出版事項: (1992)
• Lógica simbólica: una breve introducción
  著者:: Gómez Calderón, Javier
  出版事項: (1979)
• Introduction a la logique mathématique
  著者:: Novikov, P. S. (Petr Sergeevich)
  出版事項: (1964)
• Primer curso de lógica matemática
  著者:: Suppes, Patrick, 等
  出版事項: (1968)