The Joy of Logic