Tarski Alfred Logic, semantics metamathematics - 1956 - p. cm. Standard No.: 61764 Source: Textual Subjects--Topical Terms: Mathematical logicMathematics Dewey Class. No.: B:R1, J61-;1