Showing 1 - 5 results of 5 for search '"Trends in logic"', query time: 0.02s Refine Results
  1. 1

    Dual tableaux foundations, methodology, case studies by Orlowska, Ewa

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Dual tableaux foundations, methodology, case studies
  2. 2

    Paradoxes by Lukowski, Piotr

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Paradoxes
  3. 3

    Methods of cut-elimination by Baaz, Matthias

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Methods of cut-elimination
  4. 4

    Advanced Łukasiewicz calculus and MV-algebras by Mundici, Daniele 1946-

    Published 2011
    Available for UP System via Springer Link.
    Electronic Resource

    Advanced Łukasiewicz calculus and MV-algebras
  5. 5

    Gentzen calculi for modal propositional logic by Poggiolesi, Francesca. 1980-

    Published 2011
    Available for UP System via SpringerLink.
    Electronic Resource

    Gentzen calculi for modal propositional logic

Search Tools: