cutternumberG216c
Cargando…
Internal definability and completeness in modal logic — Marcus Kracht | Cutter Number