مرکز منطقه ای اطلاع رساني علوم و فناوري - A proof of the (strengthened) Liar formula in a semantical extension of Peano Arithmetic

Title of article :

A proof of the (strengthened) Liar formula in a semantical extension of Peano Arithmetic

Author/Authors :

KETLAND، JEFFREY نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

Abstract :

. HUQ

Keywords :

cardiovascular disease , Nutrition , diet , lipoproteins , saturated fat , triacylglycerols , race , HDL subpopulations , Women

Journal title :

Analysis

Serial Year :

2000

Journal title :

Analysis

Record number :

20811

Link To Document :