MATHEMATICAL LOGIC AND THEORETICAL COMPUTER SCIENCE - Kueker, David W.; Smith, Carl H. (New York Marcel Dekker, 1987)
Keywords: Logic, Symbolic And Mathematical; Electronic Data Processing