Baronett, Logic 5e Instructor Resources

As of 6th July 2026, the digital resources for Logic 5e have been retired.

The newly-published 6th edition of Logic features a fully redesigned digital experience, offering a range of new assessment and learning tools. While this edition no longer includes the automated proof checker, it provides several other resources to support students’ understanding of proofs and formal reasoning.

Please contact your OUP representative for instructions on how to use the new 6e resources, and consult the transition guide to assist you in transitioning from the 5th to the 6th edition digital environment, which is available via the link below.