Connections
deadlock
Entity
formal system
Entity
philosophy
Entity
linguistics
Entity
logic
Entity
Artificial intelligence
Concept
International Standard Book Number
Entity
natural number
Entity
computer program
Entity
Edsger W. Dijkstra
Entity
Boolean algebra
Entity
mathematical induction
Entity
regular expression
Entity
Giuseppe Peano
Entity
propositional calculus
Entity
elementary algebra
Entity
logical conjunction
Entity
theoretical computer science
Entity
Stanford Encyclopedia of Philosophy
Entity
identity function
Entity