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)