Browsing “Logic” (Showing 921 - 940 of 1285 results)

Subjects

  • A Modern Perspective on Type Theory

    From its Origins until Today
    by F.D. Kamareddine; T. Laan; Rob Nederpelt
    • Format: Fixed
    • From $62.70 AUD
      Price includes GST
  • Methods of Argumentation

    by Douglas Walton
    • Format: Fixed
    • $45.95 AUD
      Price includes GST
  • The Arché Papers on the Mathematics of Abstraction

    by Roy T. Cook
    • Edition: 1st
    • Format: Fixed
    • From $86.70 AUD
      Price includes GST
  • Information and Randomness

    An Algorithmic Perspective
    by Cristian S. Calude
    • Edition: 2nd
    • Format: Fixed
    • From $26.71 AUD
      Price includes GST
  • Advanced Functional Programming

    6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures
    by Pieter Koopman; ‎Doaitse Swierstra
    • Edition: 1st
    • Format: Fixed
    • From $27.01 AUD
      Price includes GST
  • From Linear Operators to Computational Biology

    Essays in Memory of Jacob T. Schwartz
    • Format: Reflowable
    • From $47.71 AUD
      Price includes GST
  • By Parallel Reasoning

    by Paul Bartha
    • Format: Fixed
    • From $161.95 AUD
      Price includes GST
  • Advanced Łukasiewicz calculus and MV-algebras

    by D. Mundici
    • Format: Reflowable
    • From $47.71 AUD
      Price includes GST
  • Fuzzy Database Modeling

    by Adnan Yazici; Roy George
    • Format: Fixed
    • From $47.71 AUD
      Price includes GST
  • SCIENCE OF LEARNING MATHEMATICAL PROOFS, THE

    An Introductory Course
    by Elana Reiser
    • Format: Reflowable
    • $48.39 AUD
      Price includes GST
  • Act-Based Conceptions of Propositional Content

    Contemporary and Historical Perspectives
    by Friederike Moltmann; Markus Textor
    • Edition: 1st
    • Format: Reflowable
    • From $128.25 AUD
      Price includes GST
  • Einstieg in die beweisorientierte Mathematik

    Mit Versuch und Irrtum zum Beweis
    by Felix Göbler; Alex Küronya
    • Format: Reflowable
    • From $12.00 AUD
      Price includes GST
  • Three Views of Logic

    Mathematics, Philosophy, and Computer Science
    by Donald W. Loveland; Richard Hodel; S. G. Sterrett
    • Format: Fixed
    • From $83.33 AUD
      Price includes GST
  • DIGITAL AND THE REAL WORLD, THE

    Computational Foundations of Mathematics, Science, Technology, and Philosophy
    by Klaus Mainzer
    • Format: Reflowable
    • $191.40 AUD
      Price includes GST
  • The Rise of Modern Logic: from Leibniz to Frege

    by Dov M. Gabbay
    • Format: Reflowable
    • $275.00 AUD
      Price includes GST
  • Logical Foundations of Computer Science

    International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings
    • Format: Reflowable
    • From $35.71 AUD
      Price includes GST
  • Provability, Computability and Reflection

    by Beklemishev, Lev D.
    • Format: Fixed
    • $275.00 AUD
      Price includes GST
  • Handbook of Defeasible Reasoning and Uncertainty Manageme...

    Algorithms for Uncertainty and Defeasible Reasoning
    by Dov M. Gabbay; Philippe Smets
    • Edition: 1st
    • Format: Fixed
    • From $95.70 AUD
      Price includes GST
  • Southeast Asian Conference on Logic

    by Chong, C.-T.; Wicks, M.J.
    • Format: Fixed
    • $28.60 AUD
      Price includes GST
  • Categorical Logic and Type Theory

    by Jacobs, B.
    • Format: Fixed
    • $132.00 AUD
      Price includes GST
Page links