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
      $90.45
      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
      $107 Elsewhere $124.56 Save $17.56 (14%)
      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
      $158 Elsewhere $197.25 Save $39.25 (20%)
      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
      $102
      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
      $242 Elsewhere $259.54 Save $17.54 (7%)
      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
      $229
      Logic of Computation (NATO ASI)
      By Helmut Schwichtenberg
      Logic of Computation (NATO ASI)
      By Helmut Schwichtenberg
      $137 Elsewhere $166.11 Save $29.11 (18%)
      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
      $229
      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
      $165
      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
      $229
      Computational Logic (Nato ASI Subseries F:)
      By Ulrich Berger, Helmut Schwichtenberg
      Computational Logic (Nato ASI Subseries F:)
      By Ulrich Berger, Helmut Schwichtenberg
      $228
      Logic of Computation (Nato ASI Subseries F:)
      By Helmut Schwichtenberg
      Logic of Computation (Nato ASI Subseries F:)
      By Helmut Schwichtenberg
      $94.21
      Proof and Computation (NATO ASI Subseries F:)
      By Helmut Schwichtenberg
      Proof and Computation (NATO ASI Subseries F:)
      By Helmut Schwichtenberg
      $165
      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
      $209 Elsewhere $233.59 Save $24.59 (11%)
      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
      $157 Elsewhere $173.03 Save $16.03 (9%)