Model (theory): Difference between revisions
Jump to navigation
Jump to search
imported>Daniel Mietchen m (started as lemma) |
imported>Steven A. Gibson (beginning of introduction.) |
||
(One intermediate revision by one other user not shown) | |||
Line 1: | Line 1: | ||
{{subpages}} | {{subpages}} | ||
<!-- Text is transcluded from the | <!-- 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. |
Latest revision as of 00:31, 10 September 2012
Model theory is a body of study which provides useful procedures in the fields of mathematics and computer science.