La Classification Mathématique par matières 2000 Mathematics subject Classification 2000 Query : CC = 03C75 03-XX Mathematical logic and foundations 03C75 Other infinitary logic Keyword : Back to the Mathematics Subject Classification (version 2000)