Buy Used and New Wolfgang Thomas Books

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory: 1104 (Lecture Notes in Mathematics)

by Michael M. Richter,Egon Börger,Brigitta Schinzel,Walter Oberschelp,Wolfgang Thomas

ISBN 13: 9783540139010

Format: Paperback (488 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers: 1414 (Lecture Notes in Computer Science)

by Mogens Nielsen,Wolfgang Thomas

ISBN 13: 9783540645702

Format: Paperback (528 pages)
Publisher: Springer
Published: 20 May 1998

Save for later