Комментарий
В качестве методики можно использовать изучение Higher Order Logic. Там все этим мета- часто на первых страницах. Крыша едет, но если по чуть-чуть, то привыкаешь, и мета-переходы уже не пугают.
← Порождающие модели: как им учить?
Читать и комментировать в ЖЖ ↗