What is a logic (2005)

by T Mossakowski, R Diaconescu, A Tarlecki