A message from our CEO about the future of Stack Overflow and Stack Exchange. Read now.

Questions related to mathematical logic and its use in computer science

This tag is used for Logic in Computer Science and Mathematical Logic questions.

Do not use this tag for digital circuit design questions, use and tags.

history | excerpt history