Logical Consequences: Theory and Applications: An Introduction. 2nd Edition