Browsing “Logic” (Showing 161 - 180 of 1285 results)

Subjects

  • Developments in Language Theory

    6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers
    by Masami Ito; ‎Masafumi Toyama
    • Edition: 1st
    • Format: Fixed
    • From $25.50 AUD
      Price includes GST

  • Computer Aided Verification

    19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
    by Holger Hermanns; Werner Damm
    • Edition: 1st
    • Format: Fixed
    • From $25.50 AUD
      Price includes GST

  • Set Theory

    With an Introduction to Real Point Sets
    by Abhijit Dasgupta
    • Format: Reflowable
    • From $38.71 AUD
      Price includes GST

  • Introduction to Relation Algebras

    Relation Algebras, Volume 1
    by Steven Givant
    • Format: Fixed
    • From $26.71 AUD
      Price includes GST

  • Typed Lambda Calculi and Applications

    11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings
    by Author
    • Format: Fixed
    • From $22.51 AUD
      Price includes GST

  • An Introduction to the Technique of Formative Processes i...

    by Domenico Cantone; Pietro Ursino
    • Format: Fixed
    • From $25.50 AUD
      Price includes GST

  • The Lvov-Warsaw School. Past and Present

    by Ángel Garrido
    • Format: Reflowable
    • From $62.70 AUD
      Price includes GST

  • The Life and Work of Leon Henkin

    Essays on His Contributions
    by Author
    • Format: Reflowable
    • From $25.50 AUD
      Price includes GST

  • Cognitive Reasoning

    A Formal Approach
    by Oleg M. Anshakov; Tamás Gergely
    • Format: Fixed
    • From $71.71 AUD
      Price includes GST

  • Reading, Writing, and Proving

    A Closer Look at Mathematics
    by Ulrich Daepp; Pamela Gorkin
    • Edition: 2nd
    • Format: Fixed
    • From $26.71 AUD
      Price includes GST

  • Explaining Beauty in Mathematics: An Aesthetic Theory of ...

    by Ulianov Montano
    • Format: Reflowable
    • From $25.50 AUD
      Price includes GST

  • Problems and Proofs in Numbers and Algebra

    by Richard S. Millman; Peter J. Shiue; Eric Brendan Kahn
    • Format: Reflowable
    • From $27.01 AUD
      Price includes GST

  • Philosophie der Mathematik

    by Thomas Bedürftig; Roman Murawski
    • Edition: 3rd
    • Format: Reflowable
    • $78.60 AUD
      Price includes GST

  • Harvey Friedman's Research on the Foundations of Mathematics

    by Harrington, L.A.; Morley, M.D.; Šcedrov, A.; Simpson, S.G.
    • Format: Fixed
    • $85.80 AUD
      Price includes GST

  • Classical Recursion Theory: The Theory of Functions and S...

    by Odifreddi, P.
    • Format: Fixed
    • $102.25 AUD
      Price includes GST

  • Relation Algebras by Games

    by Hirsch, R.; Hodkinson, I.
    • Format: Fixed
    • $186.93 AUD
      Price includes GST

  • Provability, Computability and Reflection

    by Beklemishev, Lev D.
    • Format: Fixed
    • $275.00 AUD
      Price includes GST

  • Provability, Computability and Reflection

    by Beklemishev, Lev D.
    • Format: Fixed
    • $275.00 AUD
      Price includes GST

  • Simple Type Theory

    A Practical Logic for Expressing and Reasoning About Mathematical Ideas
    by William M. Farmer
    • Format: Fixed
    • From $26.71 AUD
      Price includes GST

  • Foundations of Image Understanding

    by Larry S. Davis
    • Edition: 1st
    • Format: Fixed
    • From $71.71 AUD
      Price includes GST
Showing 161 - 180 of 1285 results
Page links