Detailsuche

Grid  List

  1. Mathematical Logic and Computation
    0 %
    Mathematical Logic and Computation
    Jeremy Avigad
    Cambridge University Press
    Ebook
    Sofort lieferbar

    This new book on mathematical logic by Jeremy Avigad gives a thorough introduction to the fundame...

    Unser bisheriger Preis:ORGPRICE: 78,92 €

    Jetzt 78,91 €Ebook
    Alle Preise inkl. MwSt
  2. Interactive Theorem Proving
    0 %
    Interactive Theorem Proving
    Jeremy Avigad
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 9th International Conference on Interactive...

    Unser bisheriger Preis:ORGPRICE: 99,62 €

    Jetzt 99,61 €Ebook
    Alle Preise inkl. MwSt
  3. Interactive Theorem Proving
    0 %
    Interactive Theorem Proving
    Jeremy Avigad
    Springer, Berlin, Springer International Publishing, H2020 European Research Council, University of Cambridge, Universiteit Utrecht, Japan Science and Technology Agency, Austrian Science Fund, Nederlandse Organisatie voor Wetenschappelijk Onderzoek, Ministerio de Economía y Competitividad, National Science Foundation, Springer
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 9th International Conference on Interact...

    Unser bisheriger Preis:ORGPRICE: 96,29 €

    Jetzt 96,28 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1