«Type Theory and Formal Proof: An Introduction - Rob Nederpelt» (2014) [KSIĄŻKA] Autor: Rob Nederpelt • DVDmax.pl