Lev Beklemishev, Anna Dmitrieva, Johann A. Makowsky, “Axiomatizing Origami Planes”, Outst. Contrib. Log., 2024, Volume 28,Pages <nobr>353–377</nobr>

RUS ENG

JOURNALS // Outstanding Contributions to Logic // Archive

Outst. Contrib. Log., 2024, Volume 28, Pages 353–377 (Mi ocl3)

Axiomatizing Origami Planes

Lev Beklemishev^ab, Anna Dmitrieva^c, Johann A. Makowsky^d

^a Steklov Mathematical Institute of RAS, Moscow, Russia
^b National Research University Higher School of Economics, Moscow, Russia
^c University of East Anglia, Norwich, United Kingdom
^d Technion – Israel Institute of Technology, Haifa, Israel

Language: English

DOI: 10.1007/978-3-031-47921-2_12

© Steklov Math. Inst. of RAS, 2024