مرکز منطقه ای اطلاع رساني علوم و فناوري - Separations of theories in weak bounded arithmetic Original Research Article

Title of article :

Separations of theories in weak bounded arithmetic Original Research Article

Author/Authors :

Gaisi Takeuti، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

Journal title :

Annals of Pure and Applied Logic

Serial Year :

1995

Journal title :

Annals of Pure and Applied Logic

Record number :

896219

Link To Document :