लेखक: Herman (Radboud Universiteit Nijmegen) Geuvers

समर्थन

1 द्वारा ईबुक Herman (Radboud Universiteit Nijmegen) Geuvers

Herman Geuvers & Rob Nederpelt: Type Theory and Formal Proof
PDF
अंग्रेज़ी
DRM
€86.30