The present work deals with the logics of sentences and predicates as formal languages giving stress on formal semantics. It considers major styles of presenting these logics such as axiomatics, Gentzen systems, analytic tableaux, resolution refutation as various proof techniques. However it requires nothing from the reader but a mere willingness to remain logical and have a fearless attitude towards precise use of symbols.
About the Author:
DR. ARINDAMA SINGH is wroking as an Assistant Professor in Mathematics at IIT Madras. He has many national and international publications in numerical analysis and logic.DR. CHINMOY GOSWAMI is working as a Reader in Philosophy at the University of Hyderabad. He has many national and international publications in logic and philosophy.