Changes

No change in size , 13:00, July 13, 2016

→‎top: clean up & uniformity

Line 11: Line 11:

First-order languages are used to describe [[mathematics]] in [[mathematical notation]] with [[mathematical formula]]e.

−

[[~~category~~:~~language~~]]

+

[[Category:Language]]

−

[[~~category~~:~~logic~~]]

+

[[Category:Logic]]

−

[[~~category~~:~~mathematics~~]]

+

[[Category:Mathematics]]

Block, SkipCaptcha, apieditor, Automoderated users, Bots, edit, ratelimit-exempt

58,343

edits

First-order language (view source)