Tag: W. Buchholz

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897) 1981st Edition by W. Buchholz (PDF)

  Ebook Info Published: 1981 Number of pages: 392 pages Format: PDF File Size: 11.87 MB Authors: W....

Advertisement

spot_img