Buy Used and New Reinhard Kahle Books

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science)

by Reinhard Kahle,Peter Schroeder-Heister,Robert St??rk

ISBN 13: 9783540427520

Format: Paperback (256 pages)
Publisher: Springer
Published: 28 Sep 2001

Save for later

Advances in Proof Theory: 28 (Progress in Computer Science and Applied Logic, 28)

by Reinhard Kahle,Thomas Strahm,Thomas Studer

ISBN 13: 9783319291963

Format: Hardcover (437 pages)
Publisher: Birkhäuser
Published: 23 May 2016

Save for later

Advances in Proof Theory (Progress in Computer Science and Applied Logic)

by Reinhard Kahle,Thomas Strahm,Thomas Studer

ISBN 13: 9783319805139

Format: Paperback (440 pages)
Publisher: Birkhäuser
Published: 27 May 2018

Save for later

The Legacy of Kurt Schütte

by Reinhard Kahle,Michael Rathjen

ISBN 13: 9783030494261

Format: Paperback (521 pages)
Publisher: Springer
Published: 12 Aug 2021

Save for later

Grenzen der KI – theoretisch, praktisch, ethisch (Technik im Fokus)

by Klaus Mainzer,Reinhard Kahle

ISBN 13: 9783662650103

Format: Paperback (167 pages)
Publisher: Springer
Published: 17 Jun 2022

Save for later