Work

Constructivism in mathematics

Year: 1988

Type: article

Source: CERN Document Server (European Organization for Nuclear Research)

Author: A. S. Troelstra

Language: English

Topic: Computability, Logic, AI Algorithms

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2798718690

FWCI: 8.13

Cites:

Cited by: 642

Related to: 10