Handbook of logic in artificial intelligence and logic programming (v.2 : deduction methodologies )/

Antzeko izenburuak

• Textbook of deductive logic
  nork: Bhola Nath Roy
  Argitaratua: (1982)
• A text book of deductive logic
  nork: Ghosh,B N
  Argitaratua: (1984)
• Textbook of deductive logic/
  nork: Bholanath Roy
  Argitaratua: (1984)
• Introduction to logic and to the methodology of deductive sciences
  nork: Tarski, Alfred
  Argitaratua: (1965)
• Logic for computer science and artificial intelligence
  nork: Caferra, Ricardo
  Argitaratua: (2011)