Q4055684

From Wikidata
Jump to: navigation, search

First-order logic (Q4055684)[edit]

formal system used in mathematics, philosophy, linguistics, and computer science. [edit]

No aliases defined. [add]

Statements