Math 2.0

Mathematical logic

This page lists the items of the Wikipedia article Mathematical logic in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1374508052, with the assessment B/Top.

OutcomeItems
deferred5
attached1

The gap signals of the article are S1,S2,S5,S6,S8,S9.

ItemKindNameOutcomeNodesReason
subjecttopicMathematical logicdeferred until 2027-05-01the item has the flag informal (WP9.2)
#08R2unknownFormal logical systemsdeferred until 2027-05-01the kind of the item is unknown
#6O7Munknown20th century in mathematical logicdeferred until 2027-05-01the kind of the item is unknown
#EP48exampleApplicationsdeferred until 2027-05-01the cue heading names a section and not one item
#F2RAunknownSubfields of mathematical logicdeferred until 2027-05-01the kind of the item is unknown
#UMF0proofProof theory and constructive mathematicsattached

Refer to Wikipedia articles and their nodes for the other articles.