Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Trading and Exchanges
Larry Harris
Philosophy of Mathematics
Linnebo, Øystein
Metapolemos
Jason Reza Jorjani
Greek, an Intensive Course
Hardy Hansen & Gerald M. Quinn