Browsing Logic 881 - 900 of 1435 results

  • eBook
    Exploring Independence and Truth
    • Ralf Schindler
    • Springer
    • Reflowable Layout

    Starting at:£21.00 GBP

    View Details
  • eBook
    • 1st Edition
    • Danilo R. Diedrichs; Stephen Lovett
    • Chapman & Hall
    • Reflowable Layout

    Starting at:£31.35 GBP

    View Details
  • eBook
    • Sørensen, Morten Heine; Urzyczyn, Pawel
    • Elsevier Science
    • Reflowable Layout

    £100.00 GBP

    View Details
  • eBook
    An Engaging Introduction to Proof
    • John Meier; Derek Smith
    • Cambridge University Press
    • Reflowable Layout

    Starting at:£34.40 GBP

    View Details
  • eBook
    Volume 1 - Dimostrazioni e modelli al primo ordine
    • Vito Michele Abrusci; Lorenzo Tortora de Falco
    • Springer
    • Fixed Layout

    Starting at:£4.80 GBP

    View Details
  • eBook
    • Ernest Nagel; James R. Newman
    • NYU Press
    • Reflowable Layout

    Starting at:£3.36 GBP

    View Details
  • eBook
    Focus on Streams, Interfaces, and Refinement
    • Manfred Broy; Ketil Stølen
    • Springer
    • Fixed Layout

    Starting at:£13.50 GBP

    View Details
  • eBook
    An Introduction to Infinitary Machines
    • 1st Edition
    • Merlin Carl
    • De Gruyter
    • Reflowable Layout

    £120.50 GBP

    View Details
  • eBook
    Languages, Automata, and Monadic Second-Order Logic
    • Benedikt Bollig
    • Springer
    • Fixed Layout

    Starting at:£13.50 GBP

    View Details
  • eBook
    Ein Lehrbuch
    • 3rd Edition
    • Wolfgang Rautenberg
    • Vieweg+Teubner Verlag
    • Fixed Layout

    Starting at:£7.80 GBP

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

    £45.95 GBP

    View Details
  • eBook
    9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings
    • 1st Edition
    • Helene Kirchner; ‎Christophe Ringeissen
    • Springer
    • Fixed Layout

    Starting at:£13.50 GBP

    View Details
  • eBook
    Coq’Art: The Calculus of Inductive Constructions
    • Yves Bertot; Pierre Castéran
    • Springer
    • Fixed Layout

    Starting at:£21.00 GBP

    View Details
  • eBook
    Models and Analysis
    • Min Xie; Kim-Leng Poh; Yuan-Shun Dai
    • Springer
    • Fixed Layout

    Starting at:£26.85 GBP

    View Details
  • eBook
    • Davender S. Malik; John N. Mordeson
    • Physica
    • Fixed Layout

    Starting at:£26.85 GBP

    View Details
  • eBook
    Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgium, 21-24 September 1992
    • Author
    • North Holland
    • Fixed Layout

    £120.00 GBP

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

    £150.00 GBP

    View Details
  • eBook
    • Springer
    • Fixed Layout

    Starting at:£22.35 GBP

    View Details
  • 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:£13.50 GBP

    View Details
  • eBook
    The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics
    • Enrico Martino
    • Springer
    • Reflowable Layout

    Starting at:£26.85 GBP

    View Details