Buy Used and New Thomas Studer Books

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

Logics of Proofs and Justifications

by Roman Kuznets,Thomas Studer

ISBN 13: 9781848901681

Format: Paperback (246 pages)
Publisher: College Publications
Published: 02 Apr 2019

Save for later