البيان رقم صفر

Handbook of Modal Logic

Backlinks

Reference. Higher order modal logic

1 January 2007