@BOOK{ Book!D - 95026762,
AUTHOR = "Krantz, Steven G.  )Steven George(",
TITLE = "Handbook of logic and proof techniques for computer science",
LIBRARY= "کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان",
SUBJECT = "، Computers,، Electronic data processing",
URL = "/book/95026762/Handbook-of-logic-and-proof-techniques-for-compute/"}