![Formal languages / Metalogic / Logical syntax / Propositional calculus / Interpretation / First-order logic / Well-formed formula / Substitution / Structure / Logic / Mathematical logic / Model theory Formal languages / Metalogic / Logical syntax / Propositional calculus / Interpretation / First-order logic / Well-formed formula / Substitution / Structure / Logic / Mathematical logic / Model theory](https://www.pdfsearch.io/img/90d7d253dc69bc690d8c1b03262a7ffa.jpg)
| Document Date: 2001-06-18 13:30:12 Open Document File Size: 189,92 KBShare Result on Facebook
Company Russell / / Continent Europe / / IndustryTerm mathematical applications / / Organization First-Order Logic Chapter / / Position linguist / /
SocialTag |