06017895-n 'the logical analysis of mathematical reasoning';
 
English metamathematics
Japanese メタ数学
Definitions
Japanese
数学的な推論の論理的な分析
English
the logical analysis of mathematical reasoning
Relations
Hypernym: pure_mathematics
Domain–Category: mathematics
Semantic Field: cognitionn
External Links

SUMO: ∈ FieldOfStudy

TempoWN: ◁ ▲ ▷ (Past: 0.000; Present: 0.880; Future: 0.002)

SentiWN: ▲ ▽ (+0.12 -0.00) MLSentiCon: ▲ ▼ (+0.25 -0.25)

Langs:
Preferences
(0.02587 seconds)
More detail about the Extended Open Multilingual Wordnet (1.3)
Maintainer: Francis Bond <bond@ieee.org>