Peirce's sequent proofs of distributivity
statement of authorship
Minghui Ma and Ahti-Veikko Pietarinen
source
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings
location of publication
Berlin
publisher
year of publication
pages
p. 168-182
series
Lecture notes in computer science ; 10119
subject term
name of the person
keyword
ISSN
0302-9743
ISBN
978-3-662-54068-8
notes
Bibliogr.: 31 ref
TTÜ department
language
inglise
Ma, M., Pietarinen, A.-V. Peirce's sequent proofs of distributivity // Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings. Berlin : Springer-Verlag, 2017. p. 168-182. (Lecture notes in computer science ; 10119). https://doi.org/10.1007/978-3-662-54069-5_13