M. Hla Bu

• A text book of modern formal logic