From Wikipedia, the free encyclopedia
@@20@@
$$logic-stub$$
$$mathlogic-stub$$
20 /category:[^\]] logic\W/
20 /category:(\w+\s){0,3}logi(c|cal)/
20 /\Wformalis/
20 /\Wnominalis/
20 /\Wqed\W/
20 /\Wq\.e\.d\.\W/
20 /\Wfictionalis/
20 /\Wconstructivis/
20 /\Wfinitis/
20 /\Wtheorem/
20 /\Wtarski/
20 /\Wwff/
20 /\Wskolem/
/\Wlogic/
/\Wlogic(-\w+){0,2}-stub\}\}/
8 /lemma/
20 /\Wkripke/
20 /\Wintuitionistic/
20 /\Whilbert/
20 /\Wgödel/
20 /\Wgentzen/
20 /\Wfrege/
20 /\Wcritical\sthinking/
20 /\Wcontinuum\shypothesis/
20 /\Wcarnap/
20 /\Wcantor/
20 /\Wboole/
18 /\Waxiom/
20 /\Wantinom/
20 /\Walonzo\schurch/
20 /\bertrand\srussell/
18 /\Wwhitehead/
18 /\Wturing/
20 /\Wquine/
18 /\Wpeirce/
18 /\Wpeano/
20 /\Whilary\sputnam/
12 /\Wdeducti/
20 /\Wsyllogis/
12 /\Wparadox/
15 /\Wfallac/
15 /\Wcompleteness\W/
20 /\Wcardinal\snumber/
15 /\Wsoundness/
12 /decidab/
/\Wcogen/
9 /\Wrecurs/
6 /\Wproposition/
12 /\Wmodal/
8 /method/
8 /\Winfer/
8 /\Winducti/
8 /consisten/
8 /contradict/
/\Wsemantic\W/
/\Wsynta/
8 /deriv/
5 /prov/, /improve/, /provinc[ei]/
8 /proof/
8 /\Wconsequen/
8 /\Wentail/
8 /\Wquantifi/
6 /\Wargu/
3 /\Wset\W/
1 /\Wsystem/
5 /\Wtruth/
5 /valu/
5 /\Wtrue/
5 /\Wrule/
2 /\Wbelie/
5 /\Wlaw\sof/
5 /\Wprinciple\sof/
5 /\Wfalse/
5 /\Waristot/
1 /reason/
2 /rational/
3 /formal/, /dress/, /attire/
1 /analy/
2 /math/
1 /\Wgramma/, /grammar\sschool/
1 /\Wrhetoric/
-20 /\Wspecies\W/
-20 /\Whuman gene\W/
-20 /\Wprotein\W/
