Work

MODELS OF BOUNDED ARITHMETIC (Towards new interaction between category theory and proof theory)

Year: 2001

Type: article

Source: Institutional Repositories DataBase (IRDB)

Author: 覚黒田

Language: English

Topic: Advanced Topology and Set Theory

Subfield: Geometry and Topology

Field: Mathematics

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W98734262

FWCI:

Cites:

Cited by:

Related to: 10