Mathematics Subject Classification 2000

03-XX Mathematical logic and foundations ( 0 Dok.)