metalogic (Q1366730)
study of the properties of logical systems
Language: