Dicts.info 

Logic Encyclopedia :: definitions