This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool