Mathematical logic

From HandWiki - Reading time: 3 min

Handwiki book24.pngComputing portal

Here is a list of articles in the Mathematical logic category of the Computing portal that unifies foundations of mathematics and computations using computers.

Mathematical logic is the study of formal logic within mathematics. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power.

Mathematical logic is divided into four parts:

The divisions between these areas, along with the divisions between mathematical logic and the rest of mathematics, are not completely sharp, with many areas of research and methods overlapping and reinforcing each other.

Subcategories

This category has the following 26 subcategories, out of 26 total.

*

A

B

C

F

L

M

P

R

Pages in category "Mathematical logic"

The following 200 pages are in this category, out of 213 total.

(previous page) (next page)
(previous page) (next page)

Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Category:Mathematical_logic
28 views |
↧ Download this article as ZWI file
Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF