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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerGratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerAnbieter: Buchpark, Trebbin, Deutschland
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 39999583/1
Anzahl: 1 verfügbar
Anbieter: moluna, Greven, Deutschland
Gebunden. Zustand: 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. Bestandsnummer des Verkäufers 693282158
Anzahl: Mehr als 20 verfügbar
Anbieter: Best Price, Torrance, CA, USA
Zustand: New. SUPER FAST SHIPPING. Bestandsnummer des Verkäufers 9781639892280
Anzahl: 2 verfügbar
Anbieter: California Books, Miami, FL, USA
Zustand: New. Bestandsnummer des Verkäufers I-9781639892280
Anzahl: Mehr als 20 verfügbar
Anbieter: Rarewaves USA, OSWEGO, IL, USA
Hardback. Zustand: New. Bestandsnummer des Verkäufers LU-9781639892280
Anzahl: Mehr als 20 verfügbar
Anbieter: Rarewaves USA United, OSWEGO, IL, USA
Hardback. Zustand: New. Bestandsnummer des Verkäufers LU-9781639892280
Anzahl: Mehr als 20 verfügbar
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Zustand: New. 2022. Hardcover. . . . . . Bestandsnummer des Verkäufers V9781639892280
Anzahl: 15 verfügbar
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Hardback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 178. Bestandsnummer des Verkäufers C9781639892280
Anzahl: Mehr als 20 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: 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. Bestandsnummer des Verkäufers 9781639892280
Anzahl: 2 verfügbar
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Zustand: New. Bestandsnummer des Verkäufers ABLING22Oct2817100166497
Anzahl: Mehr als 20 verfügbar