Books etc
Fiction
Storytelling is as old as time and, whether it’s an award-winning epic novel or a page-turning blockbuster, a great book can stay with you throughout your life
Contemporary & Classic Fiction Crime & Mystery Fantasy Graphic Novels & Comics Browse more Fiction categories
Non-fiction
Be it biography, history, nature writing or any other form of true story, non-fiction writing is often loaded with just as much suspense and character as the most exciting novel
Essays, Memoir & Biography Nature & Travel History & Archaeology Science & Technology Browse more Non-fiction categories
Children’s, Teenage & Educational
These stories for children and young adults will pique imaginations and inspire young readers
Children's Fiction Children's Non-Fiction Board Books, Picture Books & Activity Books Children's Poetry & Anthologies Browse more Children’s, Teenage & Educational categories
Magazines
Stationery
Toys & Games
Merchandise
Gift cards
Special Editions
Merchandise
Events
All events
Discover our full programme of events, for unique in-person and online activities
Author Events
Meet your favourite authors and attend insightful, engaging discussions about their books
Book Clubs
Exciting clubs covering all the main reading genres for you to get stuck into
Workshops
Other Events
Gift cards

Mauricio Ayala-Rincón Editor

Interactive Theorem Proving cover

Interactive Theorem Proving

2 contributors - Paperback

£44.99