Proof Theory: The First Step into Impredicativity (Universitext)

3.42 MiB

Download ready in 3s