• Education & Business Solutions Opens in new window

Browsing “Logic” (Showing 21 - 40 of 1281 results)

Subjects

  • Computer Aided Verification

    15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
    by Warren A. Hunt; Jr.; ‎Fabio Somenzi
    • Edition: 1st
    • Format: Fixed
    • From $29.36 NZD
      Price includes GST

  • The P=NP Question and Gödel’s Lost Letter

    by Richard J. Lipton
    • Format: Fixed
    • From $54.94 NZD
      Price includes GST

  • Automata Implementation

    Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers
    by JeanMarc Champarnaud; Denis Maurel; Djelloul Ziadi
    • Edition: 1st
    • Format: Fixed
    • From $29.36 NZD
      Price includes GST

  • Provability, Computability and Reflection

    by Beklemishev, Lev D.
    • Format: Fixed
    • $316.64 NZD
      Price includes GST

  • Computational Artifacts

    Towards a Philosophy of Computer Science
    by Raymond Turner
    • Format: Fixed
    • From $86.01 NZD
      Price includes GST

  • Provability, Computability and Reflection

    by Beklemishev, Lev D.
    • Format: Fixed
    • $316.64 NZD
      Price includes GST

  • Algebra, Logic And Combinatorics

    by Bullett Shaun
    • Format: Reflowable
    • $51.93 NZD
      Price includes GST

  • The Birth of Model Theory

    Löwenheim's Theorem in the Frame of the Theory of Relatives
    by Calixto Badesa
    • Format: Reflowable
    • $191.26 NZD
      Price includes GST

  • Logical Foundations of Mathematics and Computational Comp...

    A Gentle Introduction
    by Pavel Pudlák
    • Format: Reflowable
    • From $92.93 NZD
      Price includes GST

  • Mathematical Logic for Computer Science

    by Mordechai Ben-Ari
    • Edition: 3rd
    • Format: Reflowable
    • From $30.75 NZD
      Price includes GST

  • Introduction to Relation Algebras

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

  • Artificial Adaptive Systems Using Auto Contractive Maps

    Theory, Applications and Extensions
    by Paolo Massimo Buscema; Giulia Massini; Marco Breda; Weldon A. Lodwick; Francis Newman; Masoud Asadi-
    • Format: Reflowable
    • From $54.94 NZD
      Price includes GST

  • Deontic Logic in Computer Science

    7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings
    by Alessio Lomuscio; ‎Donald Nute
    • Edition: 1st
    • Format: Fixed
    • From $29.36 NZD
      Price includes GST

  • Puzzling Adventures: Tales of Strategy, Logic, and Mathem...

    by Dennis E. Shasha
    • Format: Reflowable
    • $30.72 NZD
      Price includes GST

  • Implicit and Explicit Semantics Integration in Proof-Base...

    Communications of NII Shonan Meetings
    by Yamine AitAmeur; ‎Shin Nakajima; ‎Dominique Méry
    • Edition: 1st
    • Format: Reflowable
    • From $54.94 NZD
      Price includes GST

  • Sequents and Trees

    An Introduction to the Theory and Applications of Propositional Sequent Calculi
    by Andrzej Indrzejczak
    • Format: Reflowable
    • From $29.36 NZD
      Price includes GST

  • Thinking Programs

    Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
    by Wolfgang Schreiner
    • Format: Reflowable
    • From $37.65 NZD
      Price includes GST

  • Universal Algebraic Logic

    Dedicated to the Unity of Science
    by Hajnal Andréka; Zalán Gyenis; István Németi; Ildikó Sain
    • Format: Fixed
    • From $54.94 NZD
      Price includes GST

  • Mathematical Olympiad Challenges

    by Titu Andreescu; Razvan Gelca
    • Edition: 2nd
    • Format: Fixed
    • From $30.75 NZD
      Price includes GST

  • Quantification in Nonclassical Logic

    by Dov M. Gabbay
    • Format: Reflowable
    • $265.98 NZD
      Price includes GST
Showing 21 - 40 of 1281 results
Page links