Q852732

From Wikidata
Jump to: navigation, search

proof theory (Q852732)[edit]

branch of mathematical logic [edit]

No aliases defined. [add]

Statements