Logical form its structure and derivation
May, Robert.
MIT
1985