::03-XX Matemaattinen logiikka ja perusteet  
   03-00 Yleiset hakuteokset (käsikirjat, sanakirjat, bibliografiat jne.)  
   03-01 Opetusjulkaisut (oppikirjat, oppimateriaalit jne.)  
   03-02 Tutkimusjulkaisut (monografiat, tutkimusartikkelit)  
   03-03 Historiallinen (sille on myös annettava vähintään yksi luokitusnumero pääluokasta 01).  
   03-04 Eksplisiittinen konelaskenta ja ohjelmat (ei laskennan tai ohjelmoinnin teoria).  
   03-06 Konferenssien pöytäkirjat, konferenssit, kokoelmat jne.  
  03Axx Logiikan filosofiset näkökohdat ja perusteet  
  03Bxx Yleinen logiikka  
  03Cxx Malliteoria  
  03Dxx Laskettavuus ja rekursioteoria  
  03Exx Joukkoteoria  
  03Fxx Todistusteoria ja konstruktiivinen matematiikka  
  03Gxx Algebralogiikka  
  03Hxx Ei-standardit mallit [Katso myös 03C62]