Foundations of Logic and Theory of Computation by A. Sernadas (English) Paperbac
26,42 €
By A. Sernadas, C. Sernadas. Author C. Sernadas. The book provides a self-contained introduction to mathematical logic and computability theory for students of mathematics or computer science. Part II presents first-order logic, including Gödel's completeness theorem and Gentzen's consistency theorem.
Jetzt bei Ebay:
