LC control no. | sh 85086421 |
---|---|
LC classification | QA9.7 |
Topical heading | Model theory |
See also | Logic, Symbolic and mathematical |
Found in | Mathematic subject classification via WWW, Sept. 17, 2007 (03-xx Mathematical logic and foundations, 03Cxx Model theory) |