This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic.
This book investigates the foundations of probability theory and logic, intertwining historical insights with modern interpretations.