Twenty Five Years of Constructive Type Theory Sambin, Giovanni Smith, Jan M. 9780198501275 Oxford Logic Guides Innbundet 15.10.1998 Engelsk Produseres på bestilling
