Preface. Part I: Logic. Reasoning. Statement logic: fundamentals. Statement logic: validity. Statement logic: inference. Predicate logic: fundamentals. Predicate logic: validity and inference. Truth trees and derivations in PL. Part II: Computing. Boolean systems. Numerical systems. Logical circuits. Computability. Computing. Appendix. Answers to selected exercises. Index.
