logical literature