Symbolic logic and mechanical theorem proving - Chang, Chin-Liang; Lee, Richard Char-Tung (New York : Academic Press, 1973)
Keywords: výpočetní technika; logika; computer science; logic -- theory; monografie; monographs