Search results
We did not find results for: mathematical logic wikipedia.
Check spelling or type a new query.
We did not find results for: mathematical logic wikipedia.
Check spelling or type a new query.
Subfield of mathematics
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize c... Wikipedia