Mathematical logic foundations for information science - Li Wei (Basel Birkhauser Verlag, 2010)
Keywords: Mathematical logic; Symbolic logic