مرکز منطقه ای اطلاع رساني علوم و فناوري - A Counterexample to the 0-1 Law for the Class of Existential Second-Order Minimal Gödel Sentences with Equality

Title of article :

A Counterexample to the 0-1 Law for the Class of Existential Second-Order Minimal Gödel Sentences with Equality

Author/Authors :

Pacholski L.، نويسنده , , Szwast W.، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1993

Pages :

From page :

To page :

103

Journal title :

Information and Computation

Serial Year :

1993

Journal title :

Information and Computation

Record number :

261350

Link To Document :