sebina, you, services, library, user

Twenty-five years of constructive type theory : proceedings of a congress held in Venice, october 1995 / edited by Giovanni Sambin and Jan M. Smith. - Oxford : Clarendon Press, 1998. - VII, 283 p. ; 24 cm.

Testo a stampa (moderno) 1998