4 ms·Also a good (non-free) book: A Logical Approach to Discrete Mathematicsby agentultra 10y agoAlso a good (non-free) book: A Logical Approach to Discrete Mathematics