Logic

Subject Classification

ACM: Theory of computation~Logic

AMS: Mathematical logic and foundations

2024

2022