Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Computation and Proof Theory
M.M. Richter, E. Borger, Walter Oberschelp, W. Thomas et B. Schinzel
ISBN 10: 354013901X ISBN 13: 9783540139010
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1980
Used
Softcover
From
Ammareal, Morangis, France
Seller rating 5 out of 5 stars
AbeBooks Seller since 29 August 2016
This specific item is no longer available.
About this Item
Description:
Ancien livre de bibliothèque. Traces d'usure sur la couverture. Petite(s) trace(s) de pliure sur la couverture. Salissures sur la tranche. Couverture différente. Edition 1980. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations car ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Signs of wear on the cover. Slightly creased cover. Stains on the edge. Different cover. Edition 1980. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-573-650
Synopsis:
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Proceedings of the Logic Colloquium. Held in...
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publication Date: 1980
Binding: Softcover
Condition: Très bon