Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Sold By
All Sellers
Fishpond (15)
Format
All Formats
Hardback (8)
Paperback (7)
    Results for "Helmut Schwichtenberg"
    Helmut Schwichtenberg
    15 results
    Sold By
    All Sellers
    Fishpond (15)
    Format
    All Formats
    Hardback (8)
    Paperback (7)
      15 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
      By A. S. Troelstra, Helmut Schwichtenberg, H. Schwichtenberg, S. Abramsky
      Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
      By A. S. Troelstra, Helmut Schwichtenberg, H. Schwichtenberg, S. Abramsky
      £40.98 Elsewhere £44.99 Save £4.01 (9%)
      1
      Handbook of Constructive ­Mathematics (Encyclopedia of Mathematics and its Applications)
      By Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg
      Handbook of Constructive ­Mathematics (Encyclopedia of Mathematics and its Applications)
      By Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg
      £126 Elsewhere £150.00 Save £24.00 (16%)
      Proofs and Computations (Perspectives in Logic)
      By Helmut Schwichtenberg, Stanley S. Wainer
      Proofs and Computations (Perspectives in Logic)
      By Helmut Schwichtenberg, Stanley S. Wainer
      £53.11 Elsewhere £71.99 Save £18.88 (26%)
      Proof and System-Reliability­ (NATO Science Series II)
      By Helmut Schwichtenberg, Ralf Steinbruggen
      Proof and System-Reliability­ (NATO Science Series II)
      By Helmut Schwichtenberg, Ralf Steinbruggen
      £83.82 Elsewhere £114.00 Save £30.18 (26%)
      Proof and System-Reliability­ (NATO Science Series II (Mathematics, Physics and Chemistry))
      By Helmut Schwichtenberg, Ralf Steinbrüggen
      Proof and System-Reliability­ (NATO Science Series II (Mathematics, Physics and Chemistry))
      By Helmut Schwichtenberg, Ralf Steinbrüggen
      £45.58
      Logic and Algebra of ­Specification (Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, Held in Markoberdorf, Germany, July 23-August 4, 1991 (NATO ASI))
      By Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
      Logic and Algebra of ­Specification (Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, Held in Markoberdorf, Germany, July 23-August 4, 1991 (NATO ASI))
      By Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
      £128
      Logic of Computation (NATO ASI)
      By Helmut Schwichtenberg
      Logic of Computation (NATO ASI)
      By Helmut Schwichtenberg
      £71.10 Elsewhere £96.00 Save £24.90 (26%)
      Computational Logic (NATO Asi Series / NATO Asi Subseries F:)
      By Ulrich Berger, Helmut Schwichtenberg
      Computational Logic (NATO Asi Series / NATO Asi Subseries F:)
      By Ulrich Berger, Helmut Schwichtenberg
      £128
      Computer Science Logic (14th International Workshop, Csl 2000 Annual Conference of the Eacsl Fischbachau, Germany, August 21-26, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Peter G. Clote, Helmut Schwichtenberg
      Computer Science Logic (14th International Workshop, Csl 2000 Annual Conference of the Eacsl Fischbachau, Germany, August 21-26, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Peter G. Clote, Helmut Schwichtenberg
      £88.70
      Logic and Algebra of ­Specification (NATO ASI Subseries F:)
      By Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
      Logic and Algebra of ­Specification (NATO ASI Subseries F:)
      By Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
      £128
      Computational Logic (Nato ASI Subseries F:)
      By Ulrich Berger, Helmut Schwichtenberg
      Computational Logic (Nato ASI Subseries F:)
      By Ulrich Berger, Helmut Schwichtenberg
      £128
      Logic of Computation (Nato ASI Subseries F:)
      By Helmut Schwichtenberg
      Logic of Computation (Nato ASI Subseries F:)
      By Helmut Schwichtenberg
      £45.03
      Proof and Computation (NATO ASI Subseries F:)
      By Helmut Schwichtenberg
      Proof and Computation (NATO ASI Subseries F:)
      By Helmut Schwichtenberg
      £88.69
      Proof And Computation Ii (From Proof Theory And Univalent Mathematics To Program Extraction And Verification)
      By Klaus Mainzer, Helmut Schwichtenberg, Peter Michael Schuster
      Proof And Computation Ii (From Proof Theory And Univalent Mathematics To Program Extraction And Verification)
      By Klaus Mainzer, Helmut Schwichtenberg, Peter Michael Schuster
      £125 Elsewhere £135.00 Save £10.00 (7%)
      Proof And Computation (Digitization In Mathematics, Computer Science, And Philosophy)
      By Klaus Mainzer, Peter Michael Schuster, Helmut Schwichtenberg
      Proof And Computation (Digitization In Mathematics, Computer Science, And Philosophy)
      By Klaus Mainzer, Peter Michael Schuster, Helmut Schwichtenberg
      £89.55 Elsewhere £100.00 Save £10.45 (10%)
      We use essential and some optional cookies to provide you the best shopping experience. Visit our cookies policy page for more information.