Non-classical logic
Philosophical logic
Computing
Classical cipher
The Alphabet Cipher
Logic
Computer programming
Modal logic