Category:Logic: Difference between revisions

Mathematical logic is often divided into the fields of [[wp:set theory|set theory]], [[wp:model theory|model theory]], [[wp:recursion theory|recursion theory]], and [[wp:proof theory|proof theory]]. These areas share basic results on logic, particularly [[wp:first-order logic|first-order logic]], and [[wp:definable set|definability]]. In computer science (particularly in the [[wp:ACM Computing Classification System|ACM Classification]]) mathematical logic encompasses additional topics not detailed in this article; see [[wp:logic in computer science|logic in computer science]] for those.