Title of article

Finitistic proofs of 0–1 laws for fragments of second-order logic

Author/Authors

Thierry Lacoste، نويسنده ,

Issue Information

دوهفته نامه با شماره پیاپی سال 1996

Pages

4

From page

1

To page

4

Keywords

Combinatorial problems , Finitistic methods , Asymptotic probabilities in logic

Journal title

Information Processing Letters

Serial Year

1996

Journal title

Information Processing Letters

Record number

128454