Showing 1 - 1 results of 1 for search 'Golińska-Pilarek, J', query time: 0.02s Refine Results
  1. 1
    Tableau-based decision procedure for non-Fregean logic of sentential identity

    Tableau-based decision procedure for non-Fregean logic of sentential identity by Golińska-Pilarek, J, Huuskonen, T, Zawidzki, M

    Published 2021
    Conference item

Search Tools: