The sub-field of mathematics that focuses on identifying the applications of formal logic to mathematics is known as mathematical logic. It is also known as symbolic logic or formal logic. It is concerned with the study of expressive and deductive power of formal systems. Some of the formal logical systems are first-order logic, nonclassical and modal logic, algebraic logic and other classical logics. The discipline is divided into four areas. These are model theory, proof theory, set theory and recursion theory. The field is closely related to theoretical computer science and foundations of mathematics. The field finds its applications in other disciplines such as physics, biology, economics, metaphysics, law and morals, and psychology. This book explores all the important aspects of related to this discipline in the present day scenario. Different approaches, evaluations, methodologies and studies on mathematical logic have been included herein. As this field is emerging at a rapid pace, the contents of this book will help the readers understand the modern concepts and applications of the subject.
"synopsis" may belong to another edition of this title.
US$ 123.78 shipping from Germany to U.S.A.
Destination, rates & speedsSeller: Best Price, Torrance, CA, U.S.A.
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9781639892280
Quantity: 2 available
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New. Seller Inventory # ABLING22Oct2817100166497
Quantity: Over 20 available
Seller: California Books, Miami, FL, U.S.A.
Condition: New. Seller Inventory # I-9781639892280
Quantity: Over 20 available
Seller: Rarewaves USA, OSWEGO, IL, U.S.A.
Hardback. Condition: New. Seller Inventory # LU-9781639892280
Quantity: Over 20 available
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 178. Seller Inventory # C9781639892280
Quantity: Over 20 available
Seller: Rarewaves USA United, OSWEGO, IL, U.S.A.
Hardback. Condition: New. Seller Inventory # LU-9781639892280
Quantity: Over 20 available
Seller: moluna, Greven, Germany
Gebunden. Condition: New. KlappentextThe sub-field of mathematics that focuses on identifying the applications of formal logic to mathematics is known as mathematical logic. It is also known as symbolic logic or formal logic. It is concerned with the study of exp. Seller Inventory # 693282158
Quantity: Over 20 available
Seller: Buchpark, Trebbin, Germany
Condition: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 39999583/1
Quantity: 1 available
Seller: AHA-BUCH GmbH, Einbeck, Germany
Buch. Condition: Neu. Neuware - The sub-field of mathematics that focuses on identifying the applications of formal logic to mathematics is known as mathematical logic. It is also known as symbolic logic or formal logic. It is concerned with the study of expressive and deductive power of formal systems. Some of the formal logical systems are first-order logic, nonclassical and modal logic, algebraic logic and other classical logics. The discipline is divided into four areas. These are model theory, proof theory, set theory and recursion theory. The field is closely related to theoretical computer science and foundations of mathematics. The field finds its applications in other disciplines such as physics, biology, economics, metaphysics, law and morals, and psychology. This book explores all the important aspects of related to this discipline in the present day scenario. Different approaches, evaluations, methodologies and studies on mathematical logic have been included herein. As this field is emerging at a rapid pace, the contents of this book will help the readers understand the modern concepts and applications of the subject. Seller Inventory # 9781639892280
Quantity: 2 available