First published in 1968, this is a seminal work in the logic and philosophy of time. It includes a comprehensive bibliography of the work of the author, who was the founding father of temporal logic, and an interview with his widow about his life and work. The Polish logic used in the original book has been replaced by standard logical notation.