Fork me on GitHub
Math for the people, by the people.

User login

first order language

Defines: 
first order language, term, formula
Synonym: 
auxiliary symbol, first-order language
Type of Math Object: 
Definition
Major Section: 
Reference

Mathematics Subject Classification

03C07 no label found03B10 no label found

Comments

Perhaps it would be good to have a "logic" topic-type entry, which gives an overview of mathematical logic. Entries like this one could be attached to it.

apk

Subscribe to Comments for "first order language"