Proof Theory Of Impredicative Subsystems Of Analysis (studies In Proof Theory, Monographs, Vol 2)

معرفی کتاب «Proof Theory Of Impredicative Subsystems Of Analysis (studies In Proof Theory, Monographs, Vol 2)» نوشتهٔ Wilfried Buchholz, Kurt Schütte، منتشرشده توسط نشر Humanities Pr در سال 1989. این کتاب در فرمت pdf، زبان انگلیسی ارائه شده است.