Kueker David W Ed. Mathematical logic and theoretical computer science. - New York Marcel Dekker 1987 - xviii,383p. cm. Standard No.: 44782 Source: Textual Dewey Class. No.: R14oaD6,8(B), M7