Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds seve

A defense of the social operation of thinking, with an emphasis on testimony and authority.This book describes a lost tradition that can be called reasonablenes