Book:Logic, An Inval Approach