Risultati della ricerca - Smith, Jan M.

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

Altri autori: “...Smith, Jan M....”
An electronic book accessible through the World Wide Web; click to view