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