Choice Principles and Inductive Generation: Pusching the Dynamical Proof Method

Relatore

  • Peter Schuster
    Università degli Studi di Verona