(Q852732)

English

proof theory

branch of mathematical logic

Statements

Identifiers

証明 (数学)
0 references
teorie důkazu
0 references
0 references
todistusteoria
bevisteori
proof theory
0 references
 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit