Buy Used and New Helmut Schwichtenberg Books

Computational Logic: 165 (Nato ASI Subseries F:)

by Ulrich Berger,Helmut Schwichtenberg

ISBN 13: 9783540645894

Format: Hardcover (460 pages)
Publisher: Springer
Published: 14 Apr 1999

Save for later

Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings: 1862 (Lecture Notes in Computer Science)

by Helmut Schwichtenberg,Peter G. Clote

ISBN 13: 9783540678953

Format: Paperback (564 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

by Klaus Mainzer,Peter Schuster,Helmut Schwichtenberg

ISBN 13: 9789811236471

Format: Hardcover (424 pages)
Publisher: World Scientific Publishing
Published: 27 Aug 2021

Save for later