An abstract is not available for this content. As you have access to content, full HTML content provided on page. A PDF of also in through the ‘Save PDF’ action button.

The common form of a mathematical theorem consists in that "the truth of some properties for some objects is necessary andlor sufficient condition for other properties to hold for other objects". To formalize this, one happens to resort to Kripke modal logic K which, having in the syntax the notions of 'property' and 'necessity', appears to provide a reliable metamathematical fundament. In this...

Some Speculations on the Myeloproliferative Syndromes W ITH ACCUMULATING EXI ERIENCE, it becomes more and more evident that the bone marrow cells-enythrobhasts, granulocytes, megakar-vocvtes-often proliferate en masse or as a unit i-ather than as single elements. Thus, heukocytosis an(h thIOml)OcytOsis, as well as reticuhocytosis occur not only in 1)enign reversible cond!itions such as hemorrha...