Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics, 897)

出版社: Springer(2009-02-22)

ペーパーバック: 392 ページ / 21.6 x 2.3 x 27.9 cm

ISBN-10: 3540111700  ISBN-13: 9783540111702