Category:Mathematical logic

From Wikibooks, open books for an open world

Jump to: navigation, search

This category contains books on mathematical logic: the mathematical study of logic and the applications of formal logic to other areas of mathematics. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.

Contents:	Top · 0–9 · A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Related categories

The following 8 related categories may be of interest, out of 8 total.

B

[×] Beginning Rigorous Mathematics‎ (5 pgs)

F

[×] Finite Model Theory‎ (11 pgs)
[+] Formal Logic‎ (1 cat, 40 pgs)

L

[×] Logic for Computer Science‎ (9 pgs)
[×] Logic for Computer Scientists‎ (36 pgs)

M

[+] Mathematical Proof‎ (1 cat, 21 pgs)

S

[+] Set Theory‎ (1 cat, 13 pgs)
[×] Systems Of Logic‎ (6 pgs)

Books or Pages

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

L

M

Mathematical Proof

S

Category:Mathematical logic

Related categories

B

F

L

M

S

Books or Pages

A

B

F

F cont.

L

M

S

Personal tools

Namespaces

Variants

Views

Actions

Search

Navigation

Community

Toolbox

Sister projects

Print/export