تفاصيل الكتاب

Internet Resource: Please Login to download book

The topics in the book include: - the representation of mathematical statements by formulas in a formal language. - the interpretation of formulas as true or false in a mathematical structure. - logical consequence of one formula from others. - formal proof. - the soundness and completeness theorems connecting logical consequence and formal proof. - the axiomatization of some mathematical theories using a formal language. - the compactness theorem and an introduction to model theory.