Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): Gert H. Müller, Jane E. Kister, Dirk van Dalen, Anne S. Troelstra (eds.)
Series: Perspectives in Mathematical Logic
Publisher: Springer
Year: 1987

Language: English
Pages: 436
City: Berlin Heidelberg


Content:
Front Matter....Pages I-XLI
Subject Index....Pages 1-139
Author Index....Pages 141-328
Source Index....Pages 329-379
Miscellaneous Indexes....Pages 381-405