9783319291963 - advances in proof theory: 28 (15 risultati)

Perfeziona la tua ricerca

  • Libri (15)

a

Fascia di prezzo personalizzata (EUR)

a

    • Lingua: Inglese

      Editore: Birkhäuser 2016

      3319291963 / 9783319291963

      • Rilegato

      Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 115,34

      EUR 13,85 spedizione 
      Spedito da Regno Unito a U.S.A.

      Quantità: Più di 20 disponibili

      Condizione: New. In.

    • Lingua: Inglese

      Editore: Birkhäuser 2016

      3319291963 / 9783319291963

      • Rilegato

      Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 131,86

      EUR 2,29 spedizione 
      Spedito in U.S.A.

      Quantità: 15 disponibili

      Condizione: New.

    • Lingua: Inglese

      Editore: Birkhauser Verlag AG 2016

      3319291963 / 9783319291963

      • Rilegato

      Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 131,72

      EUR 10,50 spedizione 
      Spedito da Irlanda a U.S.A.

      Quantità: 15 disponibili

      Condizione: New. Editor(s): Kahle, Reinhard; Strahm, Thomas; Studer, Thomas. Series: Progress in Computer Science and Applied Logic. Num Pages: 437 pages, 10 black & white illustrations, biography. BIC Classification: HPL; PBCD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 25. Weight in Grams: 818. . 2016. Hardback.

    • Lingua: Inglese

      Editore: Springer (India) Private Limited 2016

      3319291963 / 9783319291963

      • Rilegato

      Da: Books Puddle, New York, NY, U.S.A.Books Puddle

      Venditore con 4 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 151,52

      EUR 3,47 spedizione 
      Spedito in U.S.A.

      Quantità: 4 disponibili

      Condizione: New. pp. 425.

    • Lingua: Inglese

      Editore: Birkhäuser 2016

      3319291963 / 9783319291963

      • Rilegato

      Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 156,57

      EUR 14,45 spedizione 
      Spedito da Regno Unito a U.S.A.

      Quantità: 2 disponibili

      Hardcover. Condizione: Brand New. 440 pages. 9.50x6.50x1.25 inches. In Stock.

    • Lingua: Inglese

      Editore: Birkhauser Verlag AG 2016

      3319291963 / 9783319291963

      • Rilegato

      Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 165,51

      EUR 9,13 spedizione 
      Spedito in U.S.A.

      Quantità: 15 disponibili

      Condizione: New. Editor(s): Kahle, Reinhard; Strahm, Thomas; Studer, Thomas. Series: Progress in Computer Science and Applied Logic. Num Pages: 437 pages, 10 black & white illustrations, biography. BIC Classification: HPL; PBCD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 25. Weight in Grams: 818. . 2016. Hardback.

    • Lingua: Inglese

      Editore: Birkhäuser 2016

      3319291963 / 9783319291963

      • Rilegato

      Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books

      Venditore con 4 stelle
      Contatta il venditore

      Condizione: Usato - Come nuovo

      EUR 145,25

      EUR 28,90 spedizione 
      Spedito da Regno Unito a U.S.A.

      Quantità: 1 disponibili

      Hardcover. Condizione: Like New. Like New. book.

    • Lingua: Inglese

      Editore: Birkhäuser, Palgrave Macmillan 2016

      3319291963 / 9783319291963

      • Rilegato

      Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 106,99

      EUR 64,11 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 1 disponibili

      Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reduct

    • Lingua: Inglese

      Editore: Birkhäuser 2016

      3319291963 / 9783319291963

      • Rilegato

      Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Usato - Come nuovo

      EUR 178,55

      EUR 2,29 spedizione 
      Spedito in U.S.A.

      Quantità: 15 disponibili

      Condizione: As New. Unread book in perfect condition.

    • Lingua: Inglese

      Editore: Birkhäuser 2016

      3319291963 / 9783319291963

      • Rilegato
      • Print on Demand

      Da: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand

      Venditore con 3 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 86,24

      EUR 8,00 spedizione 
      Spedito da Italia a U.S.A.

      Quantità: Più di 20 disponibili

      Condizione: new. Questo è un articolo print on demand.

    • Lingua: Inglese

      Editore: Springer International Publishing Mai 2016 2016

      3319291963 / 9783319291963

      • Brossura
      • Print on Demand

      Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermaniaBuchWeltWeit Ludwig Meier e.K.

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 106,99

      EUR 23,00 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 2 disponibili

      Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal

    • Lingua: Inglese

      Editore: Springer International Publishing 2016

      3319291963 / 9783319291963

      • Rilegato
      • Print on Demand

      Da: moluna, Greven, , Germaniamoluna

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 92,27

      EUR 48,99 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: Più di 20 disponibili

      Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book contains state-of-the-art contributions to various topics in Proof TheoryThe papers range from traditional mathematical proof theory via constructive mathematics to applications in computer science &nbspThi

    • Lingua: Inglese

      Editore: Springer (India) Private Limited 2016

      3319291963 / 9783319291963

      • Rilegato
      • Print on Demand

      Da: Majestic Books, Hounslow, , Regno UnitoMajestic Books

      Venditore con 4 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 154,69

      EUR 7,51 spedizione 
      Spedito da Regno Unito a U.S.A.

      Quantità: 4 disponibili

      Condizione: New. Print on Demand pp. 425.

    • Lingua: Inglese

      Editore: Springer (India) Private Limited 2016

      3319291963 / 9783319291963

      • Rilegato
      • Print on Demand

      Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios

      Venditore con 4 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 154,18

      EUR 9,95 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 4 disponibili

      Condizione: New. PRINT ON DEMAND pp. 425.

    • Lingua: Inglese

      Editore: Birkhäuser, Palgrave Macmillan Mai 2016 2016

      3319291963 / 9783319291963

      • Brossura
      • Print on Demand

      Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 106,99

      EUR 60,00 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 1 disponibili

      Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -¿Proof theory came into being in the twenties of the last century, when it was inaugurated by David Hilbert in order to secure the foundations of mathematics. It was substantially influenced by Gödel's famous incompleteness theorems of 1930 a