Peter of Spain: Summaries of Logic