Mathematicians have long recognized the distinction between
an argument showing that an interesting object exists and a
procedure for actually constructing the object. Computer
science adds a new dimension of interest in constructivity,
since a computer program is a formal description of a
constructive procedure that can be executed automatically.
It has beenover a decade since a conference was devoted to
constructivity, and never befo...
CHF 69.00