Browsing Logic 961 - 980 of 1493 results

  • eBook
    13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings
    • 1st Edition
    • Jörg Flum; ‎Mario RodriguezArtalejo
    • Springer
    • Fixed Layout

    Starting at:$32.05 NZDPrice includes GST

    View Details
  • eBook
    International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
    • Springer
    • Fixed Layout

    Starting at:$32.05 NZDPrice includes GST

    View Details
  • eBook
    FilMat Studies in the Philosophy of Mathematics
    • Springer
    • Fixed Layout

    Starting at:$63.73 NZDPrice includes GST

    View Details
  • eBook
    • 2nd Edition
    • Yu. I. Manin
    • Springer
    • Fixed Layout

    Starting at:$37.33 NZDPrice includes GST

    View Details
  • eBook
    • North Holland
    • Fixed Layout

    $153.46 NZDPrice includes GST

    View Details
  • eBook
    Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
    • 2nd Edition
    • Wolfgang Schreiner
    • Springer
    • Fixed Layout

    Starting at:$44.87 NZDPrice includes GST

    View Details
  • eBook
    • Ulrich Felgner
    • Birkhäuser
    • Fixed Layout

    Starting at:$82.58 NZDPrice includes GST

    View Details
  • eBook
    • Futatsugi, K.; Nakagawa, A.T.; Tamai, T.
    • Elsevier Science
    • Fixed Layout

    $156.23 NZDPrice includes GST

    View Details
  • eBook
    17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings
    • Springer
    • Reflowable Layout

    Starting at:$93.89 NZDPrice includes GST

    View Details
  • eBook
    • 2nd Edition
    • Richard L. Epstein
    • Advanced Reasoning Forum
    • Fixed Layout

    $46.29 NZDPrice includes GST

    View Details
  • eBook
    • Gahler Habil Werner
    • World Scientific
    • Fixed Layout

    $113.84 NZDPrice includes GST

    View Details
  • eBook
    • Ferro, R.; Bonotto, C.; Valentini, S.; Zanardo, A.
    • North Holland
    • Fixed Layout

    $107.84 NZDPrice includes GST

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

    Starting at:$32.05 NZDPrice includes GST

    View Details
  • eBook
    21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
    • 1st Edition
    • J. Duparc; T. A. Henzinger
    • Springer
    • Fixed Layout

    Starting at:$59.96 NZDPrice includes GST

    View Details
  • eBook
    Fundamentals, Real Problems, and Computers
    • Author
    • Academic Press
    • Fixed Layout

    Starting at:$53.35 NZDPrice includes GST

    View Details
  • eBook
    • Uwe Schöning
    • Birkhäuser
    • Fixed Layout

    Starting at:$33.57 NZDPrice includes GST

    View Details
  • eBook
    • 1st Edition
    • Reinhard Kahle; Michael Rathjen
    • Springer
    • Fixed Layout

    Starting at:$71.27 NZDPrice includes GST

    View Details
  • eBook
    • 1st Edition
    • Dov M. Gabbay; Philippe Smets
    • Springer
    • Fixed Layout

    Starting at:$120.28 NZDPrice includes GST

    View Details
  • eBook
    • 1st Edition
    • Corrado Priami
    • Springer
    • Fixed Layout

    Starting at:$32.05 NZDPrice includes GST

    View Details
  • eBook
    Logic and the History of Mathematics
    • John Stillwell
    • Princeton University Press
    • Fixed Layout

    $103.49 NZDPrice includes GST

    View Details