An Introduction to Formal Logic - Open Textbook Library,Introduction to Formal Logic with Philosophical Applications,Traditional Logic, Book II: Advanced Formal Logic (Classical,An Introduction to Practical Formal Methods Using Temporal,Amazon.com: An Introduction to the Philosophy of Logic