First-Order Logic - Per Lindström - Häftad | Bokus