From
Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
AbeBooks Seller since February 27, 2001
2022. Hardcover. . . . . . Seller Inventory # V9781639892280
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.
Title: Fundamentals of Mathematical Logic
Publisher: States Academic Press
Publication Date: 2022
Binding: Hardcover
Condition: New
Seller: Buchpark, Trebbin, Germany
Condition: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 39999583/1
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: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New. Seller Inventory # ABLING22Oct2817100166497
Seller: Rarewaves USA, OSWEGO, IL, U.S.A.
Hardback. Condition: New. Seller Inventory # LU-9781639892280
Seller: Rarewaves USA United, OSWEGO, IL, U.S.A.
Hardback. Condition: New. Seller Inventory # LU-9781639892280
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. Seller Inventory # C9781639892280
Quantity: Over 20 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