Browsing Logic 961 - 980 of 1497 results

  • eBook
    A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
    • Clara Löh
    • Springer
    • Fixed Layout

    Starting at:R314.57 ZARPrice includes VAT

    View Details
  • eBook
    • Gandy, R.O.; Yates, C.E.M.
    • North Holland
    • Fixed Layout

    R3,622.30 ZARPrice includes VAT

    View Details
  • eBook
    Fundamental Notions, Theorems, and Techniques
    • Alberto Pettorossi
    • Springer
    • Fixed Layout

    Starting at:R371.76 ZARPrice includes VAT

    View Details
  • eBook
    • Beklemishev, Lev D.
    • Elsevier Science
    • Fixed Layout

    R4,956.83 ZARPrice includes VAT

    View Details
  • eBook
    An Introduction to Symbolic Logic
    • 1st Edition
    • Colin Howson
    • Routledge
    • Reflowable Layout

    R1,181.82 ZARPrice includes VAT

    View Details
  • eBook
    Applied Automata Theory and Logic
    • Ganesh Gopalakrishnan
    • Springer
    • Fixed Layout

    Starting at:R680.62 ZARPrice includes VAT

    View Details
  • eBook
    An Introduction to Mathematical Proofs
    • 5th Edition
    • Antonella Cupillari
    • Academic Press
    • Reflowable Layout

    Starting at:R313.62 ZARPrice includes VAT

    View Details
  • eBook
    Google Bombs, Chocolate-Covered Pi, and Other Cool Bits in Computing
    • Tim P. Chartier
    • Princeton University Press
    • Reflowable Layout

    R475.66 ZARPrice includes VAT

    View Details
  • eBook
    • Freyd, P.J.; Scedrov, A.
    • North Holland
    • Fixed Layout

    R1,390.78 ZARPrice includes VAT

    View Details
  • eBook
    • Beklemishev, Lev D.
    • Elsevier Science
    • Fixed Layout

    R4,956.83 ZARPrice includes VAT

    View Details
  • eBook
    An Introduction to Model Theory, Proof Theory, Computability, and Complexity
    • Shawn Hedman
    • OUP Oxford
    • Fixed Layout

    Starting at:R1,121.24 ZARPrice includes VAT

    View Details
  • eBook
    • Johnson, R.H.; Ohlbach, H.J.; Gabbay, Dov M.; Woods, J.
    • North Holland
    • Fixed Layout

    R2,783.46 ZARPrice includes VAT

    View Details
  • eBook
    • 1st Edition
    • Kurt Gödel
    • De Gruyter
    • Fixed Layout

    R2,306.65 ZARPrice includes VAT

    View Details
  • eBook
    Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
    • Wolfgang Schreiner
    • Springer
    • Reflowable Layout

    Starting at:R343.16 ZARPrice includes VAT

    View Details
  • eBook
    • Kenneth J. Supowit
    • Birkhäuser
    • Reflowable Layout

    Starting at:R371.76 ZARPrice includes VAT

    View Details
  • eBook
    Modern Foundations with Practical Applications
    • 2nd Edition
    • Yves Nievergelt
    • Springer
    • Reflowable Layout

    Starting at:R314.57 ZARPrice includes VAT

    View Details
  • eBook
    • Nino B. Cocchiarella
    • Springer
    • Fixed Layout

    Starting at:R909.39 ZARPrice includes VAT

    View Details
  • eBook
    A Uniform Approach
    • Heribert Vollmer
    • Springer
    • Fixed Layout

    Starting at:R486.15 ZARPrice includes VAT

    View Details
  • eBook
    • Gianni Rigamonti
    • Springer
    • Reflowable Layout

    Starting at:R514.75 ZARPrice includes VAT

    View Details
  • eBook
    • Alexander Kechris; Benjamin D. Miller
    • Springer
    • Fixed Layout

    Starting at:R257.37 ZARPrice includes VAT

    View Details