1130121
9780471060260
Logic of Mathematics gives a mathematically rigorous but concise development of the basic concept of mathematical logic, offering complete proofs of Godel's First and Second Incompleteness Theorems, Tarski's Theorem and Matyasevich's Theorem.Adamowicz, Zofia is the author of 'Logic of Mathematics A Modern Course of Classical Logic' with ISBN 9780471060260 and ISBN 0471060267.
[read more]