26 results
Type of media (2)
Availability (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
26 results

Your search for Helmut Schwichtenberg

  1. Cover: Logic and Algebra of Specification - Springer
    Friedrich L. Bauer | Wilfried Brauer | Helmut Schwichtenberg
    Logic and Algebra of Specification
    12/2012
    Springer
    9783642580413 (ISBN)
    E-Book
    PDF
    Other editions
    €149.79
    Available for download
  2. Cover: Logic of Computation - Springer
    Helmut Schwichtenberg
    Logic of Computation
    12/2012
    Springer
    9783642590481 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Computational Logic - Springer
    Ulrich Berger | Helmut Schwichtenberg
    Computational Logic
    12/2012
    Springer
    9783642586224 (ISBN)
    E-Book
    PDF
    Other editions
    €149.79
    Available for download
  4. Cover: Proof and Computation - Springer
    Helmut Schwichtenberg
    Proof and Computation
    12/2012
    Springer
    9783642793615 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  5. Cover: Proofs and Computations - Cambridge University Press
    Helmut Schwichtenberg | Stanley S. Wainer
    Proofs and Computations
    02/2012
    1st EDN1st Edition
    Cambridge University Press
    9781139210577 (ISBN)
    E-Book
    PDF
    Other editions
    €76.99
    Available for download
  6. Cover: Computer Science Logic - Springer
    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
    06/2003
    Springer
    9783540446224 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  7. Cover: One Hundred Years of Russell´s Paradox - De Gruyter
    Godehard Link
    One Hundred Years of Russell´s Paradox
    Mathematics, Logic, Philosophy
    08/2008
    1st EDN1st Edition
    De Gruyter
    9783110199680 (ISBN)
    E-Book
    PDF
    Other editions
    €280.00
    Available for download
  8. Cover: Logic and Algebra of Specification - Springer
    Friedrich L. Bauer | Wilfried Brauer | Helmut Schwichtenberg
    Logic and Algebra of Specification
    04/2014
    Springer
    9783642634482 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €160.49
    Shipment within 7-9 days
  9. Cover: Logic of Computation - Springer
    Helmut Schwichtenberg
    Logic of Computation
    10/2012
    Springer
    9783642638329 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  10. Cover: Computational Logic - Springer
    Ulrich Berger | Helmut Schwichtenberg
    Computational Logic
    10/2012
    Springer
    9783642636707 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €160.49
    Shipment within 7-9 days
  11. Cover: Proof and Computation - Springer
    Helmut Schwichtenberg
    Proof and Computation
    12/2011
    Springer
    9783642793639 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 7-9 days
  12. Cover: Handbook of Constructive Mathematics - Cambridge University Press
    Douglas Bridges | Hajime Ishihara | Michael Rathjen
    Handbook of Constructive Mathematics
    05/2023
    Cambridge University Press
    9781316510865 (ISBN)
    Book
    Hardback
    Other editions
    €189.50
    Shipment within 15-20 days
  13. Cover: Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification - World Scientific Publishing Co Pte Ltd
    Klaus Mainzer | Helmut Schwichtenberg | Peter Michael Schuster
    Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
    08/2021
    World Scientific Publishing Co Pte Ltd
    9789811236471 (ISBN)
    Book
    Hardback
    Other editions
    €137.20
    Shipment within 15-20 days
  14. Cover: One Hundred Years of Russell´s Paradox - De Gruyter
    Godehard Link
    One Hundred Years of Russell´s Paradox
    Mathematics, Logic, Philosophy
    07/2004
    1st EDN1st Edition
    De Gruyter
    9783110174380 (ISBN)
    Book
    Hardback
    Other editions
    €250.00
    Shipment within 7-9 days
  15. Cover: Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy - World Scientific Publishing Co Pte Ltd
    Klaus Mainzer | Peter Michael Schuster | Helmut Schwichtenberg
    Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
    07/2018
    World Scientific Publishing Co Pte Ltd
    9789813270930 (ISBN)
    Book
    Hardback
    Other editions
    €102.00
    Shipment within 15-20 days
  16. Cover: Proofs and Computations - Cambridge University Press
    Helmut Schwichtenberg | Stanley S. Wainer
    Proofs and Computations
    12/2011
    Cambridge University Press
    9780521517690 (ISBN)
    Book
    Hardback
    Other editions
    €102.40
    Shipment within 15-20 days
  17. Cover: Computational Logic - Springer
    Ulrich Berger | Helmut Schwichtenberg
    Computational Logic
    Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29-August 10, 1997
    04/1999
    Springer
    9783540645894 (ISBN)
    Book
    Hardback
    Other editions
    €160.49
    Shipment within 10-15 days
  18. Cover: Computer Science Logic - Springer
    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
    08/2000
    Springer
    9783540678953 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  19. Cover: Logic and Algebra of Specification - Springer
    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 Marktoberdorf, Germany, July 23 - August 4, 1991
    07/1993
    Springer
    9783540558132 (ISBN)
    Book
    Hardback
    Other editions
    €160.49
    Shipment within 10-15 days
  20. Cover: Logic of Computation - Springer
    Helmut Schwichtenberg
    Logic of Computation
    Proceedings of the NATO Advanced Study Institute on Logic of Computation,held in Marktoberdorf,Germany,July 25-Aug.6,1995
    07/1997
    1st EDN1st Edition
    Springer
    9783540629634 (ISBN)
    Book
    Hardback
    Other editions
    €85.55
    Exhausted; check different version
    2. of 2