![]() 990,547,159 visitors served. |
|
![]() Dictionary/ thesaurus | ![]() Medical dictionary | ![]() Legal dictionary | ![]() Financial dictionary | ![]() Acronyms | ![]() Idioms | ![]() Encyclopedia | ![]() Wikipedia encyclopedia | ? |
metalogic |
Also found in: Dictionary/thesaurus, Wikipedia | 0.02 sec. |
metalogicStudy of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal treatment of natural languages (e.g., English, Russian, etc.). Metalogic has led to a great deal of work of a mathematical nature in axiomatic set theory, model theory, and recursion theory (in which functions that are computable in a finite number of steps are studied). |
|
? Mentioned in | ? References in periodicals archive | |
|---|---|---|
| Lante, Metalogic Systems, Rare Medium (Nasdaq:RRRR) and SeraNova. Lante (Nasdaq: LNTE), Metalogic Systems, Rare Medium (Nasdaq:RRRR) and SeraNova. |
| Free Tools: |
For surfers:
Browser extension |
Word of the Day |
Help
For webmasters: Free content NEW! | Linking | Lookup box | Double-click lookup | Partner with us |
|
|---|