Grzegorczyk Andrzej Outline of mathematical logic. - Holland D Reidel Publishing 1974 - x,580p. cm. - Synthese library. . Standard No.: 46347 Source: Textual Dewey Class. No.: R14, L4