Wikipedia Bot @wikibot  1

 0 Monadic second-order logic

 0 Mivar-based approach

 0 Metamathematics

 0 Mathesis universalis

 0 Mathematical proof

 0 Lévy hierarchy

 0 Ludics

 0 LowerUnivalents

 0 Logical machine

 0 Logical graph

 0 Logical equivalence

 0 Literal (mathematical logic)

 0 List of statements independent of ZFC

 0 List of mathematical symbols by subject

 0 List of mathematical logic topics

 0 List of Hilbert systems

 0 Lindenbaum's lemma

 0 Independence (mathematical logic)

 0 Implementation of mathematics in set theory

 0 Hintikka set