The Mega Online Bookstore
Welcome Guest | Login | Home | Contact Us

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 Part 2: Computation and Proof Theory

by  
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 Part 2: Computation and Proof Theory,354013901X,9783540139010

Available

Usually Ships in 15 Days.

Ships From New York

Free Shipping within U.S.A

International Shipping?

Check Delivery Estimate and Shipping Cost for your country

Book Information

Publisher:Springer
Published In:01-Dec-1984
ISBN-10:354013901X
ISBN-13:9783540139010
Binding Type:Paperback
Weight:1.72 lbs
Pages:pp. 488, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss

The Title "Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 Part 2 : Computation and Proof Theory 1st Edition" is written by M.M. Richter. This book was published in the year 1984. The ISBN number 354013901X|9783540139010 is assigned to the Paperback version of this title. The book displayed here is a 1st Edition edition. This book has total of pp. 475 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 Part 2 : Computation and Proof Theory 1st Edition is currently Available with us.

Related Books

Knot Theory and Manifolds Proceedings of a Conference held in Vancouver, Canada, June 2-4, 1983,3540156801,9783540156802

Knot Theory and Manifolds ...

Dale Rolfsen

Our Price: $ 46.40

Lie Group Representations II Proceedings of the Special Year Held at the University of Maryland, College Park, 1982-1983,3540127151,9783540127154

Lie Group Representations ...

R. Herb, S. Kud ...

Our Price: $ 61.99

Numerical Analysis Proceedings of the 10th Biennial Conference Held at Dundee, Scotland, June 28 - July 1, 1983,3540133445,9783540133445
6 %

Numerical Analysis Procee ...

D. F. Griffiths

List Price: $ 46.00

Our Price: $ 43.19

Rock and Soil Rheology Proceedings of the Euromech Colloquium 196 September 10-13, 1985, Bucharest, Romania,354018841X,9783540188414
11 %

Rock and Soil Rheology Pr ...

Nicolae Cristes ...

List Price: $ 139.99

Our Price: $ 124.49

Iterated Inductive Definitions and Subsystems of Analysis Recent Proof-Theoretical Studies,3540111700,9783540111702

Iterated Inductive Defini ...

W. Buchholz, S. ...

Our Price: $ 51.79

Equadiff 82 Proceedings of the International Conference Held in Wurzburg, Frg, August 23-28, 1982,3540126864,9783540126867

Equadiff 82 Proceedings o ...

H. W. Knobloch, ...

Our Price: $ 63.45