This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The languag

This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines

The essays in this volume investigate the conceptual foundations of mathematics illuminating the powers of the mind. Contributors include Alexander George, Mich

Mathematical logic developed into a broad discipline with many applications in mathematics, informatics, linguistics and philosophy. This text introduces the fu

Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, an