Logic for Mathematics and Computer Science
Product Features:
-
This book provides an elementary "hands-on" presentation of important mathematical logic topics. Explores topics that are at the cutting edge of developments in computer science, while preserving the integrity of traditional logic. Stresses several self-contained proof systems of interest to mathematical logic, some more suitable than others for…
Price as on: 2020-01-24 12:59:07