RUS
ENG
Полная версия
ЖУРНАЛЫ
// Outstanding Contributions to Logic
// Архив
Outst. Contrib. Log., 2024, том 28,
страницы
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
Язык публикации:
английский
DOI:
10.1007/978-3-031-47921-2_12
©
МИАН
, 2024