Topics in Logic - an Introduction: Treatise in Mathematical Logic and Propositional Calculus - Couverture souple

Frankl, Milan

 
9783838385402: Topics in Logic - an Introduction: Treatise in Mathematical Logic and Propositional Calculus

Synopsis

Topics in Logic: This book introduces the reader to some basic concepts in mathematical logic and propositional calculus. Topics in formal theories are briefly analyzed. First-order predicate calculus is described including some of its interpretations in arithmetic and set theory. Axiomatic set theories are covered. Some examples of axiomatic set theories are also illustrated. Relations are defined along with basic concepts of homomorphism and congruence. Finally universal algebras are defined and some of their properties discussed.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

Topics in Logic: This book introduces the reader to some basic concepts in mathematical logic and propositional calculus. Topics in formal theories are briefly analyzed. First-order predicate calculus is described including some of its interpretations in arithmetic and set theory. Axiomatic set theories are covered. Some examples of axiomatic set theories are also illustrated. Relations are defined along with basic concepts of homomorphism and congruence. Finally universal algebras are defined and some of their properties discussed.

Biographie de l'auteur

Dr. Milan Frankl, MBA, PhD, studied logic at the University of Belgrade with Professors Djuro Kurepa and later on at the University of Victoria with Professor William W. Wadge. He also published textbooks on the topics of Topology and Statistics. Milan earned his PhD from the University of Victoria.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.