Particle.news
Get it on Google Play
Download on the App Store

Science Mathematics Logic

First-Order Logic

Model Theory Completeness and Compactness Theorems Satisfiability