Mathematical Logic: Proof theory, Constructive Mathematics

JOURNAL ARTICLE

Year: 2014 Journal: Mathematisches Forschungsinstitut Oberwolfach

DOI: 10.14760/owr-2014-52

Keywords:

Constructive Calculus (dental) Algebra over a field Mathematical proof Mathematical logic

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

0.35

Citation Normalized Percentile

Is in top 1%

Is in top 10%

History and Theory of Mathematics

Physical Sciences → Mathematics → Theoretical Computer Science

Mathematical and Theoretical Analysis

Physical Sciences → Mathematics → Mathematical Physics

Advanced Mathematical Theories

Physical Sciences → Mathematics → Mathematical Physics