Knots, Braids and First Order Logic - Siddhartha Gadgil; T. V. H. Prathamesh (2012)