Oración 1: los conectivos nuevos intuicionistas ya han sido estudiados en lógica categórica con anterioridad, particularmente en la teoŕıa de topos
Oración 2: para los casos que estu- diaremos en los caṕıtulos posteriores necesitamos una definición un poco más libre que la usualmente trabajada
Conector: sin embargo,
Relación: contrasting
Género: books