MATHEMATICAL LOGIC FOR COMPUTER SCIENCE – An Introduction Preface (PDF) – Table of contents (PDF) In the recent decades mathematical logic has become more and more important in computer science and, in general, in system engineering. In fact, by definition, it is the wey of expressing our reasoning in terms of mathematical formalism, thus supplying it with the typical rigor and precision of mathematics. Not by chance, automatic information processingContinua