Proof Theory of Impredicative Subsystems of Analysis
by Wilfried Buchholz
| Publisher: | Bibliopolis |
| Published In: | 1988 |
| ISBN-10: | 8870881660 |
| ISBN-13: | 9788870881660 |
| Weight: | 200 gms |
| Pages: | pp. 122 |
The Title "Proof Theory of Impredicative Subsystems of Analysis" is written by Wilfried Buchholz. This book was published in the year 1988. This book has total of pp. 122 (Pages). The publisher of this title is Bibliopolis. Proof Theory of Impredicative Subsystems of Analysis is currently Not Available with us.You can enquire about this book and we will let you know the availability.