Studia logica.