Constructive Mathematical Truth (2006)

by Dmytro Taranovsky