Logic is essential to correct reasoning and also has important theoretical applications in philosophy, computer science, linguistics, and mathematics. This book provides an exceptionally clear introduction to classical logic, with a unique approach that emphasises both the hows and whys of logic. Here Nicholas Smith thoroughly covers the formal tools and techniques of logic while also imparting a deeper understanding of their underlying rationales and broader philosophical significance. In addition, this is the only introduction to logic available today that presents all the major forms of proof - trees, natural deduction in all its major variants, axiomatic proofs, and sequent calculus. The book also features numerous exercises, with solutions available on an accompanying website.
Logic is the ideal textbook for undergraduates and graduate students seeking a comprehensive and accessible introduction to the subject.
Provides an essential introduction to classical logic
Emphasises the how and why of logic
Covers both formal and philosophical issues
Presents all the major forms of proof--from trees to sequent calculus
Features numerous exercises, with solutions available here
The ideal textbook for undergraduates and graduate students
'An excellent textbook for an undergraduate course on this topic.' - Peter W. Evans, Philosophy in Review
Logic is essential to correct reasoning and also has important theoretical applications in philosophy, computer science, linguistics, and mathematics. This book provides an exceptionally clear introduction to classical logic, with a unique approach that emphasises both the hows and whys of logic. Here Nicholas Smith thoroughly covers the formal tools and techniques of logic while also imparting a deeper understanding of their underlying rationales and broader philosophical significance. In addition, this is the only introduction to logic available today that presents all the major forms of proof - trees, natural deduction in all its major variants, axiomatic proofs, and sequent calculus. The book also features numerous exercises, with solutions available on an accompanying website.
Logic is the ideal textbook for undergraduates and graduate students seeking a comprehensive and accessible introduction to the subject.
Provides an essential introduction to classical logic
Emphasises the how and why of logic
Covers both formal and philosophical issues
Presents all the major forms of proof--from trees to sequent calculus
Features numerous exercises, with solutions available here
The ideal textbook for undergraduates and graduate students
'An excellent textbook for an undergraduate course on this topic.' - Peter W. Evans, Philosophy in Review
A comprehensive introduction to formal logic, Logic and Philosophy: A Modern Introduction is a rigorous yet accessible text, appropriate for students encountering the subject for the first time...
BookLoop is your trusted local Australian destination for books, games, toys, puzzles, tarot cards, stationery, and thoughtful gifts, offering a huge range of carefully curated products for curious minds of all ages. As a proudly Australian-owned bookstore, we are passionate about connecting our community with inspiring reads, creative play, and unique finds that bring joy, spark imagination, and support lifelong learning. Whether you're shopping for bestselling fiction, children’s picture books, educational resources, or non-fiction titles that encourage mental health, mindfulness, and personal growth, our ever-expanding book collection has something for everyone—including titles from local Australian authors that celebrate homegrown talent and storytelling. But we’re more than just a bookstore—our diverse range includes engaging puzzles for solo or family fun, educational and screen-free toys designed to develop skills and creativity, and family-friendly board games that bring people together. If you're looking for something with a little extra meaning, our beautifully illustrated tarot cards and oracle decks are perfect for beginners and seasoned readers alike, with options chosen for their artistry, symbolism, and accessibility. We also carry a range of gifts and stationery, from handcrafted journals and high-quality pens to bookmarks, greeting cards, candles, and calming tools, making it easy to find the perfect present for birthdays, celebrations, or simply because. Every product on our shelves is selected with care, quality, and purpose, making BookLoop a one-stop shop for thoughtful, meaningful shopping that supports creativity and wellbeing. We believe in the value of small business and community connection, which is why we’re committed to sourcing products that reflect our values and offering the kind of friendly, personalised service that big retailers can’t match. When you shop with us, you’re not only choosing beautifully curated items—you’re supporting a local Australian business that genuinely cares. We ship Australia-wide with a flat rate to keep things simple and affordable, and every order is carefully packed and quickly dispatched by our small, dedicated team. Our online shopping experience is safe, easy, and user-friendly, making it convenient to explore our wide range of books, gifts, and games from the comfort of home. We’ve seen a growing demand for titles and toys that support mental health, especially in children and teens, and we’re proud to stock a growing number of books on ADHD, emotional regulation, positive thinking, and self-esteem, as well as calming puzzles and sensory-friendly gifts that are both fun and supportive. Whether you're looking to inspire a young reader, encourage imaginative play, find your next favourite novel, or gift someone something truly special, BookLoop has you covered. Thank you for choosing to shop local and support a business that believes in the power of stories, creativity, and connection—explore our full collection today and experience the difference of thoughtful, heart-led retail with BookLoop.
Sign In
your cart
Your cart is empty
Menu
Search
PRE-SALES
If you have any questions before making a purchase chat with our online operators to get more information.
