Q4055684

From Wikidata
Jump to: navigation, search

first-order logic(Q4055684)

formal system used in mathematics, philosophy, linguistics, and computer science.
    No aliases defined.
[edit]
Language Label Description Also known as
English
first-order logic
formal system used in mathematics, philosophy, linguistics, and computer science.

    Statements