Λογική;

[Miltos_01]

Γνωρίζετε κανένα καλό βιβλίο για την αναπαράσταση προβλημάτων μέσω Κατηγορηματικής Λογικής;