Trends in Logic, Studia Logica Library ;