Handbook of logic and proof techniques for computer science

অনুরূপ উপাদানগুলি

• Handbook of logic and proof techniques for computer science /
  অনুযায়ী: Krantz, Steven G.
  প্রকাশিত: (2002)
• Computer aided proofs in analysis
  প্রকাশিত: (1990)
• Logic and proof techniques/
  অনুযায়ী: Eberle, Rolf
  প্রকাশিত: (1996)
• Logic In Computer Science /
  অনুযায়ী: Huth, Michael .
  প্রকাশিত: (2004)
• Computer science logic /
  প্রকাশিত: (2003)