Spahn Giuseppe Primiero, information and knowledge - a constructive type-theoretical approach (history)

August 6, 2012

August 4, 2012