Sieg, Wilfred books & textbook
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897)
Buchholz, Wilfred Sieg, Wilfried Feferman, Solomon Pohlers, Wolfram
Springer /1981-12-01 Paperback / 392 Pages
isbn-10: 3540111700 / isbn-13: 9783540111702
Collected Works (Collected Works Series)
Gödel, Kurt Feferman, Solomon Dawson, John W. Goldfarb, Warren Parsons, Charles Sieg, Wilfred
Clarendon Press /2003-06-05 Hardcover / 690 Pages
isbn-10: 0198500750 / isbn-13: 9780198500759
