Showing 1 - 1 results of 1 for search 'Bonacina, I', query time: 0.02s Refine Results
  1. 1
    Frege systems for quantified Boolean logic

    Frege systems for quantified Boolean logic by Beyersdorff, O, Bonacina, I, Chew, L, Pich, J

    Published 2020
    Journal article

Search Tools: