Model (theory): Difference between revisions
Jump to navigation
Jump to search
imported>Nick Gardner No edit summary |
imported>Steven A. Gibson (beginning of introduction.) |
||
Line 1: | Line 1: | ||
{{subpages}} | {{subpages}} | ||
<!-- Text is transcluded from the Model (theory)/Definition subpage--> | <!-- Text is transcluded from the Model (theory)/Definition subpage--> | ||
'''Model theory''' is a body of study which provides useful procedures in the fields of mathematics and computer science. |
Revision as of 23:31, 9 September 2012
Model theory is a body of study which provides useful procedures in the fields of mathematics and computer science.