A missing subdivision is computable model theory, but this can arguably be viewed as an independent subfield of logic.
Μια υποδιαίρεση που λείπει είναι η θεωρία υπολογίσιμων μοντέλων (computable model theory), η οποία όμως θα μπορούσε να θεωρηθεί σαν ξεχωριστό υπο-πεδίο της λογικής.