Cover Image
Read Now

1
Published 2007
Cambridge University Press
Table of Contents: “... Berarducci -- Constructive set theory with operations / Andrea Cantini and Laura Crosilla -- Parametrized...”