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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Condición: New. Nº de ref. del artículo: ABLING22Oct2817100166497
Cantidad disponible: Más de 20 disponibles
Librería: Rarewaves USA, OSWEGO, IL, Estados Unidos de America
Hardback. Condición: New. Nº de ref. del artículo: LU-9781639892280
Cantidad disponible: Más de 20 disponibles
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Condición: New. 2022. Hardcover. . . . . . Nº de ref. del artículo: V9781639892280
Cantidad disponible: Más de 20 disponibles
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Nº de ref. del artículo: C9781639892280
Cantidad disponible: Más de 20 disponibles
Librería: moluna, Greven, Alemania
Gebunden. Condición: 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. Nº de ref. del artículo: 693282158
Cantidad disponible: Más de 20 disponibles
Librería: Rarewaves USA United, OSWEGO, IL, Estados Unidos de America
Hardback. Condición: New. Nº de ref. del artículo: LU-9781639892280
Cantidad disponible: Más de 20 disponibles
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Condición: New. 2022. Hardcover. . . . . . Books ship from the US and Ireland. Nº de ref. del artículo: V9781639892280
Cantidad disponible: Más de 20 disponibles
Librería: Buchpark, Trebbin, Alemania
Condición: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 39999583/1
Cantidad disponible: 1 disponibles
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Buch. Condición: 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. Nº de ref. del artículo: 9781639892280
Cantidad disponible: 2 disponibles