RT @sinya8282: On partial disjunction properties of theories containing Peano arithmetic https://t.co/7A0v2ZleB9 #fmyg2020
RT @sinya8282: On partial disjunction properties of theories containing Peano arithmetic https://t.co/7A0v2ZleB9 #fmyg2020
On partial disjunction properties of theories containing Peano arithmetic https://t.co/7A0v2ZleB9 #fmyg2020
RT @Kurahashi16: 嬉しいことに別の論文も新しく出ました~ https://t.co/vPtNagkK08 On partial disjunction properties of theories containing Peano arithmetic
RT @Kurahashi16: 嬉しいことに別の論文も新しく出ました~ https://t.co/vPtNagkK08 On partial disjunction properties of theories containing Peano arithmetic
RT @Kurahashi16: 嬉しいことに別の論文も新しく出ました~ https://t.co/vPtNagkK08 On partial disjunction properties of theories containing Peano arithmetic
RT @Kurahashi16: 嬉しいことに別の論文も新しく出ました~ https://t.co/vPtNagkK08 On partial disjunction properties of theories containing Peano arithmetic
RT @Kurahashi16: 嬉しいことに別の論文も新しく出ました~ https://t.co/vPtNagkK08 On partial disjunction properties of theories containing Peano arithmetic
嬉しいことに別の論文も新しく出ました~ https://t.co/vPtNagkK08 On partial disjunction properties of theories containing Peano arithmetic