Intuitionistic Type Theory
Per Martin-Lof
Mythology
Edith Hamilton & Jim Tierney
Nicholas of Cusa's on Learned Ignorance: A Commentary on De ...
Karsten Harries
The Bullet Journal Method: Track Your Past, Order Your Present, ...
Carroll, Ryder
High-Precision Relative Clock Synchronization Using Time Stamp ...
Guo-Song Tian, Yu-Chu Tian, Colin Fidge