Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Delivery
All
Free Shipping (15)
Sold By
All Sellers
Fishpond (15)
Format
All Formats
Hardback (8)
Paperback (7)
Price
All Prices
Over $80 (15)
to Go
to Go
Discount
Any Discount
0 - 25% (15)
    Results for "Helmut Schwichtenberg"
    Helmut Schwichtenberg
    15 results
    Delivery
    All
    Free Shipping (15)
    Sold By
    All Sellers
    Fishpond (15)
    Format
    All Formats
    Hardback (8)
    Paperback (7)
    Price
    All Prices
    Over $80 (15)
    to Go
    to Go
    Discount
    Any Discount
    0 - 25% (15)
      15 results
      • Bestselling
      • Relevance
      • Price: Lowest
      • In Stock
      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
      $87.22
      1
      Proofs and Computations (Perspectives in Logic)
      By Helmut Schwichtenberg, Stanley S. Wainer
      Proofs and Computations (Perspectives in Logic)
      By Helmut Schwichtenberg, Stanley S. Wainer
      $138
      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
      $225
      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
      $122
      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
      $273 Elsewhere $313.95 Save $40.95 (13%)
      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
      $347
      Logic of Computation (NATO ASI)
      By Helmut Schwichtenberg
      Logic of Computation (NATO ASI)
      By Helmut Schwichtenberg
      $196
      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
      $353
      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
      $239
      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
      $348
      Computational Logic (Nato ASI Subseries F:)
      By Ulrich Berger, Helmut Schwichtenberg
      Computational Logic (Nato ASI Subseries F:)
      By Ulrich Berger, Helmut Schwichtenberg
      $352
      Logic of Computation (Nato ASI Subseries F:)
      By Helmut Schwichtenberg
      Logic of Computation (Nato ASI Subseries F:)
      By Helmut Schwichtenberg
      $120
      Proof and Computation (NATO ASI Subseries F:)
      By Helmut Schwichtenberg
      Proof and Computation (NATO ASI Subseries F:)
      By Helmut Schwichtenberg
      $244
      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
      $322
      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
      $216