Template:Mathematical logic
From Infogalactic: the planetary knowledge core
Lua error in Module:Documentation at line 140: message: type error in message cfg.container (string expected, got nil).
General | |
---|---|
Traditional logic | |
Predicate logic | |
Naive set theory | |
Set theory | |
Model theory | |
Proof theory | |
Computability theory |
Lua error in Module:Documentation at line 140: message: type error in message cfg.container (string expected, got nil).