Matheo Tripnaux's Second Brain

First-Order Logic

1 min read

Formal system using quantified variables over non-logical objects.

Graph View

Backlinks