Lukas' Notes

Definition

Finite Model (First-order Logic)

Define your knowledge here…