First-order logic.

Henkin-Keisler models by: (Language materials, printed)

Markov logic : = an interface layer for artificial intelligence / by: (Language materials, printed)

Henkin-Keisler models by: (Language materials, printed)

First-order logic : = a concise introduction / by: (Language materials, printed)

Decidability of logical theories and their combination by: (Electronic resources)

Mathematical Logic and Foundations.

Mathematical Logic and Formal Languages.

Markov random fields.

Artificial intelligence- Mathematics.

Logique du premier ordre.

Model theory.

Probabilities.

Inference.

Ultraproducts.

Machine learning.

Philosophy of Mathematics.

First-order logic.