Kybernetika 15 no. 4, 261-271, 1979

On probability of first order formulas in a given model

Jozef Šajda

Classification:

94A17, 60A05, 03B50, 60K10, 03C50, 62A01, 03C99

paper.pdf