@article{725314,
      note = {International conference proceedings.},
      author = {Banerjee, Mohua, and Krishna, Shankara Narayanan,},
      url = {http://library.usi.edu/record/725314},
      title = {Logic and its applications 6th Indian Conference, ICLA  2015, Mumbai, India, January 8-10, 2015. Proceedings /  [electronic resource] :. ICLA (Conference : Logic)},
      abstract = {This book collects the refereed proceedings of the 6th  Indian Conference on Logic and Its Applications, ICLA 2015,  held in Mumbai, India, in January 2015. The volume contains  13 full revised papers along with 3 invited talks presented  at the conference. The papers were selected after rigorous  review, from 23 submissions. They cover topics related to  pure and applied formal logic, foundations and philosophy  of mathematics and the sciences, set theory, model theory,  proof theory, areas of theoretical computer science,  artificial intelligence, systems of logic in the Indian  tradition, and other disciplines which are of direct  interest to mathematical and philosophical logic.},
      doi = {https://doi.org/10.1007/978-3-662-45824-2},
      recid = {725314},
      pages = {1 online resource (x, 234 pages) :},
}