Wheelers Books
Refine By
Publication Date
Fiction / Non-Fiction
    Age
      Format
        Extended Format
        Show Large Print:
        Publication Country
          Latest Additions
          Language
            Price
            -

            Mathematical Foundations

            Stock Availability: Sort by: View:

            Total 5.58K jump to: go ‹ previous...23456...next ›
            Labelled Deductive Systems: Volume 1
             

            Labelled Deductive Systems: Volume 1 (Hardback)

            By Gabbay, Dov M.

            • RRP: $223.00
            • $223.00
            • To Order

            This work introduces a new unifying framework for logics which makes it particularly suitable for applications. It develops its general theory and illustrates it with applications in logic, computer science, artificial intelligence, and philosophy.

            ISBN 9780198538332
            Released NZ 5 Sep 1996
            Publisher Oxford University Press (S1)
            Interest Age General Audience
            Series Oxford Logic Guides
            Availability
            Indent title (internationally sourced), allow 8-12 weeks
            View details for this title
            The Philosophy of Mathematics Today
             

            The Philosophy of Mathematics Today (Hardback)

            Edited by Schirn, Matthias

            • RRP: $444.00
            • $444.00
            • To Order

            A collection of twenty essays which deal with foundational issues, from the nature of mathematical knowledge and mathematical existence to logical consequence, abstraction, and the notions of set and natural number. A variety of prominent approaches to the philosophy of mathemati...cs are represented and criticized.
            Read more

            ISBN 9780198236542
            Released NZ 1 Jul 1998
            Publisher Oxford University Press (S1)
            Interest Age General Audience
            Availability
            Indent title (internationally sourced), allow 8-12 weeks
            View details for this title
            Foundations without Foundationalism: A Case for Second-Order Logic
             

            Foundations without Foundationalism: A Case for Second-Order Logic (Paperback, New edition)

            By Shapiro, Stewart

            • RRP: $90.99
            • $90.99
            • To Order

            Stewart Shapiro presents a distinctive original view of the foundations of mathematics, arguing that second-order logic has a central role to play in laying these foundations. He gives an accessible account of second-order and higher-order logic, paying special attention to philo...sophical and historical issues.
            Read more

            ISBN 9780198250296
            Released NZ 1 Jan 2000
            Publisher Oxford University Press (S1)
            Interest Age General Audience
            Availability
            Indent title (internationally sourced), allow 8-12 weeks
            View details for this title
            Logic and Visual Information

            Logic and Visual Information (Trade Paperback / Paperback)

            By Hammer, Eric

            • RRP: $47.99
            • $47.99
            • Back Order Indent title

            Examines the logical foundations of visual information.

            ISBN 9781881526995
            Released NZ 15 Jan 1995
            Publisher John Wiley & Sons Australia Lt
            Interest Age General Audience
            Series Studies in Logic Language and Information
            Availability
            Back Order Indent title (sourced internationally), Allow 8-12 weeks due to Covid 19 freight delays
            View details for this title
            Partiality, Modality, and Nonmonotonicity

            Partiality, Modality, and Nonmonotonicity (Trade Paperback / Paperback)

            Edited by Doherty, Patrick A.

            • RRP: $41.99
            • $41.99
            • Back Order Indent title

            State-of-the-art description of research in logic-based approaches to knowledge representation.

            ISBN 9781575860305
            Released NZ 15 Jan 1996
            Publisher John Wiley & Sons Australia Lt
            Interest Age General Audience
            Series Studies in Logic Language and Information
            Availability
            Back Order Indent title (sourced internationally), Allow 8-12 weeks due to Covid 19 freight delays
            View details for this title
            Substructural Logics
             

            Substructural Logics (Hardback)

            Edited by Dosen, Kosta; Schroder-Heister, Peter

            • RRP: $317.00
            • $317.00
            • To Order

            Substructural logics are nonclassical logics which arose in response to problems in theoretical computer science, mathematical linguistics, and catagory theory. They include intuitionist logic, relevant logic, BCK logic, linear logic and Lambeck's calculus of synthetic catagories....
            Read more

            ISBN 9780198537779
            Released NZ 16 Dec 1993
            Publisher Oxford University Press (S2)
            Interest Age General Audience
            Series Studies in Logic & Computation
            Availability
            Indent title (internationally sourced), allow 8-12 weeks
            View details for this title
            Introduction to Math Olympiad Problems
             

            Introduction to Math Olympiad Problems (Paperback)

            By Radin, Michael A.

            • RRP: $54.99
            • $54.99
            • To Order

            This book aims to introduce high school students to all the necessary topics that frequently emerge in international Math Olympiad competitions. In addition to introducing the topics, the book will also provide several repetitive-type guided problems to help develop vital techniq...ues in solving problems correctly and efficiently.
            Read more

            ISBN 9780367544713
            Released NZ 6 Jul 2021
            Publisher Taylor & Francis Ltd
            Interest Age 19+ years
            Availability
            Indent title (internationally sourced), allow 8-12 weeks
            View details for this title
            Introduction to Recognition and Deciphering of Patterns
             

            Introduction to Recognition and Deciphering of Patterns (Paperback)

            By Radin, Michael A.

            • RRP: $102.00
            • $102.00
            • To Order

            This book aims to get STEM and non-STEM students acquainted with different patterns, as well as where and when specific patterns arise. In addition, the book seeks to get students to learn how to recognize patterns and distinguish the similarities and differences between them.

            ISBN 9780367508609
            Released NZ 27 Jul 2020
            Publisher Taylor & Francis Ltd
            Interest Age 19+ years
            Availability
            Indent title (internationally sourced), allow 8-12 weeks
            View details for this title
            Mathematical Labyrinths. Pathfinding
             

            Mathematical Labyrinths. Pathfinding (Trade Paperback / Paperback)

            By Pritsker, Boris

            • RRP: $131.99
            • $74.88
            • Save $57.11
            • In Stock US

            Mathematical Labyrinths. Pathfinding provides an overview of various non-standard problems and the approaches to their solutions.

            ISBN 9789811230073
            Publisher World Scientific Publishing Co
            Interest Age 19+ years
            Series Problem Solving in Mathematics and Beyond
            Availability
            Internationally sourced; ships 6-14 working days
            View details for this title
            Introduction to Logic: Predicate Logic
              

            Introduction to Logic: Predicate Logic (Mixed media product / Mixed Media, 2nd edition, Contains 1 Paperback / softback and 1 CD-ROM)

            By Pospesel, Howard

            For courses in Introduction to Logic and Formal Logic. This clearly written volume covers symbolization, proofs, counterexamples, and truth trees. These topics are presented in graded steps, beginning with the symbolization of categorical propositions and concluding with the prop...erties of relations. This new edition includes 'PredLogic,' a CD-ROM-based tutorial for students.
            Read more

            ISBN 9780131649897
            Publisher Pearson Education (US)
            Interest Age General Audience
            Availability
            Internationally sourced on backorder; allow 4-8 weeks
            View details for this title
            Total 5.58K jump to: go ‹ previous...23456...next ›