Logic and Computation

Discover the fascinating world of formal theorem-proving with Logic and Computation by Lawrence C. Paulson. Published by Cambridge University Press in 1990, this comprehensive 320-page volume delves into techniques specifically related to Cambridge LCF (Logic for Computable Functions). Ideal for graduate students and researchers in theoretical computer science, this book serves as an essential resource for understanding the intricacies of logic and computation. Enhance your knowledge and skills in application software, programming, and certification with this authoritative guide. Whether you are looking to deepen your expertise or embark on new research, Logic and Computation is a valuable addition to your academic library.