Join BookitisSave favorites, build lists, and follow creators.

Logic and Its Applications

Work detail

Bookitis Pick
Cover for Logic and Its Applications
LA
Image source: Open Library
A. V. SreejithMohua BanerjeeKrishna S.Anil Seth5 editions

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.

Overview

Shared work-level identity and catalog context.

4 credited authorsSearch language english

Bookitis keeps work pages focused on the shared book identity and the editions that actually belong to it. Unrelated books should not appear here as primary content.

Contributors

People credited with this work in the active catalog.

  • A. V. Sreejith

    Author profile in the active Bookitis catalog

    Open Author
  • Mohua Banerjee

    Author profile in the active Bookitis catalog

    Open Author
  • Krishna S.

    Author profile in the active Bookitis catalog

    Open Author
  • Anil Seth

    Author profile in the active Bookitis catalog

    Open Author

Editions

Publication-specific versions linked to this work only.