TY  - RPRT
TI  - Knots, Braids and First Order Logic
AU  - Siddhartha Gadgil
AU  - T. V. H. Prathamesh
PY  - 2012
UR  - https://arxiv.org/abs/1209.3562
ID  - 1209.3562
ER  -