Classical logic

математика классическая логика

Англо-русский научно-технический словарь

Classical logic

Non-intuitionistic logic.

Free Online Dictionary of Computing