مرکز منطقه ای اطلاع رساني علوم و فناوري - Finitistic proofs of 0–1 laws for fragments of second-order logic

Title of article :

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

Author/Authors :

Thierry Lacoste، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

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

Link To Document :