Products Studies in Proof Theory Book series information Product description Editorial board Volumes in series Author information and services Support & contact About Elsevier Select your view

	STUDIES IN PROOF THEORY Series edited by G. Huet D. Leivant E. Engeler S. Feferman Ch. Goad P. Aczel C. Böhm W. Buchholz J.-Y. Girard H. Schwichtenberg C. Cellucci R. Statman S. Takasu G. Takeuti D. Scott W. Sieg C. Smorynski P. Martin-Lof G.E. Mints W. Pohlers W. Howard D. Prawitz , Stockholm University, Sweden Volumes in series 1 Proof Theory and Logical Complexity Buy online with a credit card in the Elsevier Science & Technology Bookstore: http://books.elsevier.com/elsevier/?isbn=0444987150 By J.-Y. Girard Volume I Hardbound, , ISBN: 0-444-98715-0, 504 pages, publication date: OCT-1990 Price: EUR 144, USD 144 Last update: 10 Oct 2008	Bookmark this page Recommend this publication Overview of all Book Series