1. Incipiunt Conclusiones. Prohaemio. <Logica docens simpl[icite]r ... (fol. 1) ... liberi arbitri in de[in] au[c]torem supralem. (fol. 2)> -- 2. Codex Definitionu[m] Ac con[clusionu]m Universar[um] totius logicae. Definitiones Prohaemialiu[m]. <P[rim]a é principium operationis ... (fol. 3) ... ei[us] sint. Finis huius opusculi. Commentaria. (fol. 14 v.)> -- 3. [Quaestiones prohaemiales] <Q[uaesti]o Prima ... Quia instrumenti doctrina ... (fol. 15 v.) ... infra e[st] declarandu[m]. Finis quaestionu[m] prohaemialiu[m]. Prima. (fol. 24 v.)> -- 4. De u[niversa]lib[us] <Qu[aestiu[m] ... Solutis iam quaestionib[us] p[roha]emialib[us] ... (fol. 25) ... haec de hac quaestione. Finis V[niversa]lium. (fol. 55 bis)> -- 5. MARTIN CALVO. Sequitur Tractatus Praedicabiliu[m] ... anno ... Millessimo quingentessimo nonagessimo quinto ... Cap[itulum] De Praedicabilibus. <Intentum Porphyrii in hoc cap[itul]o ... (fol. 56) ... no[n] constituit aliud p[re]dicabile distinctum quem ... includit in quinque. Finis De analogia. (fol. 104 v.)> -- 6. Incipit, Tractat[us] de Analogia <In quo Tractatu ... (fol. 105) ... conceptus simplex [et] irresolubilis. Finis Universalia [et] Logicae ... in p[ar]ticulari. (fol. 120 v.)> -- 7. Tractatus Predicamentor[um] <Praedicamentu[m] e[st] praedicabilium coordinatio ... (fol. 120 v.) ... o[mn]ia quae dixit A, si dicta[m] e[ss]e. (fol. 177 v.)>