Logic, Symbolic and mathematical
type: Concept
notation: BC131-BC135
notation: QA9-QA10.3

Model theory
type: Concept
created: 1986-02-11T00:00:00
modified: 2007-09-18T07:52:37
broader: Logic, Symbolic and mathematical
in scheme: lcsh
member: collection LCSHAuthorizedHeadings
member: collection LCSH General
notation: QA9.7