Baidu
map

Constructive agents

van Benthem, J

van Benthem, J (reprint author), Univ Amsterdam, Amsterdam, Netherlands.

INDAGATIONES MATHEMATICAE-NEW SERIES, 2018; 29 (1): 23

Abstract

Brouwer's ideas of construction, proof, and inquiry in mathematics are more widely applicable. On a well-known philosophical view, intuitionistic logi......

Full Text Link


Baidu
map
Baidu
map
Baidu
map