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 ‹ previous12345...next ›
            Features and Fluents: The Representation of Knowledge about Dynamical Systems, Volume 1
             

            Features and Fluents: The Representation of Knowledge about Dynamical Systems, Volume 1 (Hardback, illustrated edition)

            By Sandewall, Erik

            • RRP: $207.00
            • $207.00
            • To Order

            This research text presents and uses a novel methodology for reasoning about actions and change. It uses a systematic methodology for identifying the exact range of applicability of a given logic. This book is a source of reference for researchers in knowledge representation, cog...nitive robotics, and intelligent control in the future.
            Read more

            ISBN 9780198538455
            Released NZ 5 Jan 1995
            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
            Cantorian Set Theory and Limitation of Size
             

            Cantorian Set Theory and Limitation of Size (Paperback, New edition)

            By Hallett, Michael

            • RRP: $315.00
            • $315.00
            • To Order

            This volume presents the philosophical and heuristic framework Cantor developed and explores its lasting effect on modern mathematics. Establishes a new plateau for historical comprehension of Cantor's monumental contribution to mathematics. -The American Mathematical Monthly

            ISBN 9780198532835
            Released NZ 27 Nov 1986
            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
            A Study of Logics
             

            A Study of Logics (Hardback)

            By Cleave, John P. (Reader in Mathematics (retired), Reader in Mathematics (retired), University of Bristol)

            • RRP: $387.00
            • $387.00
            • To Order

            A great variety of logical systems arise in mathematical logic and computer science. This is a new systematic study of the principles behind such logics. The technical work is illuminated by information about its historical and philosophical context.

            ISBN 9780198532118
            Released NZ 19 Dec 1991
            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
            Arrow Logic and Multi-Modal Logic

            Arrow Logic and Multi-Modal Logic (Hardback)

            Edited by Marx, Maarten; Pslos, Laszls; Masuch, Michael

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

            Gives a comprehensive survey of logical research within and around arrow logic.

            ISBN 9781575860251
            Released NZ 5 May 1997
            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 (Hardback)

            Edited by Doherty, Patrick A.

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

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

            ISBN 9781575860312
            Released NZ 21 Oct 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
            Exploring Logical Dynamics

            Exploring Logical Dynamics (Trade Paperback / Paperback)

            By Benthem, Johan F. A. K. van

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

            This book is an exploration of current trends in logical theories of information flow across various fields.

            ISBN 9781575860589
            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
            Mathematical Reasoning with Diagrams

            Mathematical Reasoning with Diagrams (Hardback)

            By Jamnik, Mateja

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

            Mathematicians at every level use diagrams to prove theorems. This book investigates the possibilities of mechanizing this sort of reasoning in a formal computer-proof system, and offers a semi-automatic formal proof system which allows users to prove theorems using diagrams.

            ISBN 9781575863238
            Released NZ 15 Jan 2001
            Publisher John Wiley & Sons Australia Lt
            Interest Age 19+ years
            Series Lecture Notes
            Availability
            Back Order Indent title (sourced internationally), Allow 8-12 weeks due to Covid 19 freight delays
            View details for this title
            THE NATURE of INFINITESIMALS
             

            THE NATURE of INFINITESIMALS (Trade Paperback / Paperback)

            By Erickson, Peter F.

            • RRP: $36.99
            • $36.99
            • Available At Publisher
            ISBN 9781479701827
            Released NZ 7 Jan 2013
            Publisher XLIBRIS
            Interest Age General Audience
            Availability
            Available at publisher; allow 3-6 weeks delivery due to Covid 19 freight delays
            View details for this title
            Logic Colloquium 92

            Logic Colloquium 92 (Trade Paperback / Paperback)

            Edited by Czirmaz, Laszlo; Gabbay, Dov M.; Rijke, Maarten de

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

            A useful and timely volume on algebraic logic and related areas, with contributions by leading people in the field.

            ISBN 9781881526988
            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
            A Structural Account of Mathematics
             

            A Structural Account of Mathematics (Paperback, New edition)

            By Chihara, Charles S.

            • RRP: $120.99
            • $120.99
            • To Order

            Presents a structural view of the nature of mathematics, and uses it to explain a number of features of mathematics that have puzzled philosophers. This work shows that, in order to understand how mathematical systems are applied in science, it is not necessary to assume that its... theorems either presuppose mathematical objects or are even true.
            Read more

            ISBN 9780199228072
            Released NZ 1 May 2007
            Publisher Oxford University Press (S3)
            Interest Age General Audience
            Availability
            Indent title (internationally sourced), allow 8-12 weeks
            View details for this title
            Total 5.58K jump to: go ‹ previous12345...next ›