• Education & Business Solutions Opens in new window

Browsing “Logic” (Showing 821 - 840 of 1312 results)

Subjects

  • Architecture of Systems Problem Solving

    by George J. Klir; Doug Elias
    • Edition: 2nd
    • Format: Fixed
    • From R629.89 ZAR
      Price includes VAT

  • Fast Track to Forcing

    by Mirna Džamonja
    • Format: Fixed
    • From R627.77 ZAR
      Price includes VAT

  • From Objects to Diagrams for Ranges of Functors

    by Pierre Gillibert; Friedrich Wehrung
    • Format: Fixed
    • From R286.32 ZAR
      Price includes VAT

  • Challenges for Action Theories

    by Michael Thielscher
    • Format: Fixed
    • From R349.93 ZAR
      Price includes VAT

  • Computational Complexity and Statistical Physics

    by Allon Percus; Gabriel Istrate; Cristopher Moore
    • Edition: 1st
    • Format: Fixed
    • From R1,033.91 ZAR
      Price includes VAT

  • Data Mining and Knowledge Discovery via Logic-Based Methods

    Theory, Algorithms, and Applications
    by Evangelos Triantaphyllou
    • Format: Fixed
    • From R1,011.64 ZAR
      Price includes VAT

  • Specification and Development of Interactive Systems

    Focus on Streams, Interfaces, and Refinement
    by Manfred Broy; Ketil Stølen
    • Format: Fixed
    • From R349.93 ZAR
      Price includes VAT

  • Sets, Models and Proofs

    by Ieke Moerdijk; Jaap van Oosten
    • Format: Reflowable
    • From R222.69 ZAR
      Price includes VAT

  • Cambridge and Vienna

    Frank P. Ramsey and the Vienna Circle
    by Maria C. Galavotti
    • Edition: 1st
    • Format: Fixed
    • From R629.89 ZAR
      Price includes VAT

  • Explanation and Proof in Mathematics

    Philosophical and Educational Perspectives
    by Gila Hanna; ‎Hans Niels Jahnke; ‎Helmut Pulte
    • Edition: 1st
    • Format: Reflowable
    • From R1,011.64 ZAR
      Price includes VAT

  • Adapting Proofs-as-Programs

    The Curry--Howard Protocol
    by Iman Poernomo; John N. Crossley; Martin Wirsing
    • Format: Fixed
    • From R1,011.64 ZAR
      Price includes VAT

  • Frontiers of Combining Systems

    7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings
    by Silvio Ghilardi; ‎Roberto Sebastiani
    • Edition: 1st
    • Format: Fixed
    • From R349.93 ZAR
      Price includes VAT

  • An Introduction to Mathematical Logic and Type Theory

    To Truth Through Proof
    by Peter B. Andrews
    • Edition: 2nd
    • Format: Fixed
    • From R566.26 ZAR
      Price includes VAT

  • Computing System Reliability

    Models and Analysis
    by Min Xie; Kim-Leng Poh; Yuan-Shun Dai
    • Format: Fixed
    • From R629.89 ZAR
      Price includes VAT

  • The Elements of Advanced Mathematics

    by Steven G. Krantz
    • Edition: 5th
    • Format: Reflowable
    • R2,438.97 ZAR
      Price includes VAT

  • Exploring Formalisation

    A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
    by Clara Löh
    • Format: Fixed
    • From R127.25 ZAR
      Price includes VAT

  • Harmonic Analysis and Convexity

    by Alexander Koldobsky, Alexander Volberg
    • Edition: 1st
    • Format: Reflowable
    • R4,453.77 ZAR
      Price includes VAT

  • Programs as Diagrams

    From Categorical Computability to Computable Categories
    by Dusko Pavlovic
    • Format: Reflowable
    • From R566.26 ZAR
      Price includes VAT

  • Axiomatic Thinking I

    • Format: Reflowable
    • From R566.26 ZAR
      Price includes VAT

  • Infinite Words

    by Dominique Perrin
    • Format: Reflowable
    • R4,347.72 ZAR
      Price includes VAT
Showing 821 - 840 of 1312 results
Page links