Lauri Hella

リンドストローム量化子が論理学とコンピュータ科学で果たす役割についての考察。