BROWSE BY
Results 1 - 1 of 1
Image Date Title
2022

A Modern Perspective on Type Theory and Formal Proof
Subtitle

Author : Jyothika Dayal

Subject : STEM

ISBN :9789354877094

A Modern Perspective on Type Theory and Formal Proof

Read More
Results 1 - 1 of 1