A concise introduction to mathematical logic
Rautenberg, Wolfgang.
A concise introduction to mathematical logic Wolfgang Rautenberg. - 3rd ed. - New York : Springer Science + Business Mediallc, 2010. - xxi, 319 p.
9781441912206 = Mathematics Collection
Propositional logic.
First order logic.
Logic programming.
511.3 R194C3
A concise introduction to mathematical logic Wolfgang Rautenberg. - 3rd ed. - New York : Springer Science + Business Mediallc, 2010. - xxi, 319 p.
9781441912206 = Mathematics Collection
Propositional logic.
First order logic.
Logic programming.
511.3 R194C3