Begriffs-Hierarchien und Lambda-Kalkül
-
pocket
,
Tyska, 2020