How did it all begin? Where did we come from? Why is there so much misery in the world? Is there any hope? Is there life after death? Find the answers as you read this true history of the world.
This entirely new work guides the reader through the most basic systems of modal propositional logic up to systems of modal predicate with identity, dealing with both technical developments and discussing philosophical applications.