Lecture notes in computer science ; 10119 (series)

—
—
—
—
Add criteria Advanced search filter
Clear
types of item

  • book article
    Peirce's sequent proofs of distributivityMa, Minghui; Pietarinen, Ahti-VeikkoLogic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings2017 / p. 168-182 https://doi.org/10.1007/978-3-662-54069-5_13
    book article
Number of records 1, displaying 1 - 1