Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995


Giovanni Sambin, Jan Smith (eds.)
Bok Engelsk 1998

Detaljer

Bibliotek som har denne