{"title":"Melvin Fitting","description":null,"products":[{"product_id":"selected-topics-from-contemporary-logics-book-melvin-fitting-9781848903500","title":"Selected Topics from Contemporary Logics","description":null,"brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50392340234513,"sku":"CIN1848903502G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51052986532113,"sku":"NIN9781848903500","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52541780427025,"sku":"NLS9781848903500","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1848903502.jpg?v=1751216950"},{"product_id":"first-order-modal-logic-book-melvin-fitting-9783031407130","title":"First-Order Modal Logic","description":"This revised edition of the highly recommended book \"First-Order Modal Logic\", originally published in 1998, contains both new and modified chapters reflecting the latest scientific developments. Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use possible world models; the formal proof machinery is tableaus; and full philosophical discussions are provided of the way that technical developments bear on well-known philosophical problems. The book covers quantification itself, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege's morning star\/evening star puzzle; the notion of existence and the logical problems surrounding it; non-rigid constants and function symbols; predicate abstraction, which abstracts a predicate from a formula, in effect providing a scoping function for constants andfunction symbols, leading to a clarification of ambiguous readings at the heart of several philosophical problems; the distinction between nonexistence and nondesignation; and definite descriptions, borrowing from both Fregean and Russellian paradigms. Review of the First Edition: \"This Text is an excellent and most useful volume. It is pitched  correctly: the exercises are just right... It sets a high standard for  anything following. It is to be highly recommended.\"  (Bulletin of Symbolic Logic, 8:3)","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50403739271441,"sku":"CIN303140713XG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51060427063569,"sku":"NIN9783031407130","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52127347638545,"sku":"NLS9783031407130","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/303140713X.jpg?v=1750870502"},{"product_id":"numbers-book-melvin-fitting-9781848903357","title":"Numbers","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51052939804945,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51052942033169,"sku":"NIN9781848903357","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52662623633681,"sku":"NLS9781848903357","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1848903359.jpg?v=1751412435"},{"product_id":"incompletetude-na-terra-dos-conjuntos-book-melvin-fitting-9781848901094","title":"Incompletetude Na Terra Dos Conjuntos","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51206495306001,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51206497206545,"sku":"NIN9781848901094","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52135034552593,"sku":"NLS9781848901094","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1848901097.jpg?v=1750963837"},{"product_id":"raymond-smullyan-on-self-reference-book-melvin-fitting-9783319687315","title":"Raymond Smullyan on Self Reference","description":"This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan’s work on self-reference. It serves not only as a tribute to one of the great thinkers in logic, but also as a celebration of self-reference in general, to be enjoyed by all lovers of this field. Raymond Smullyan, mathematician, philosopher, musician and inventor of logic puzzles, made a lasting impact on the study of mathematical logic; accordingly, this book spans the many personalities through which Professor Smullyan operated, offering extensions and re-evaluations of his academic work on self-reference, applying self-referential logic to art and nature, and lastly, offering new puzzles designed to communicate otherwise esoteric concepts in mathematical logic, in the manner for which Professor Smullyan was so well known.    This book is suitable for students, scholars and logicians who are interested in learning more about Raymond Smullyan's work and life.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52132173054225,"sku":"NLS9783319687315","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319687315.jpg?v=1757515618"},{"product_id":"beyond-two-theory-and-applications-of-multiple-valued-logic-book-melvin-fitting-9783790815412","title":"Beyond Two: Theory and Applications of Multiple-Valued Logic","description":"This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics are treated, as well as applications of many-valued logics to reasoning with fuzzy information. Areas covered include: Algebras of multiple valued logics and their applications, proof theory and automated deduction in multiple valued logics, fuzzy logics and their applications, and multiple valued logics for control theory and rational belief.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52406522642705,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52406523265297,"sku":"NLS9783790815412","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783790815412.jpg?v=1758769748"},{"product_id":"first-order-logic-and-automated-theorem-proving-book-melvin-fitting-9781461275152","title":"First-Order Logic and Automated Theorem Proving","description":"There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien- tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance. This book is intended for computer scientists. But even this is not precise. Within computer science formal logic turns up in a number of areas, from pro- gram verification to logic programming to artificial intelligence. This book is intended for computer scientists interested in automated theo- rem proving in classical logic. To be more precise yet, it is essentially a theoretical treatment, not a how-to book, although how-to issues are not neglected. This does not mean, of course, that the book will be of no interest to philosophers or mathematicians. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues. The first item to be addressed is, What are we talking about and why are we interested in it? We are primarily talking about truth as used in mathematical discourse, and our interest in it is, or should be, self- evident. Truth is a semantic concept, so we begin with models and their properties. These are used to define our subject.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52408840356113,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52408847991057,"sku":"NLS9781461275152","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461275152.jpg?v=1758774753"},{"product_id":"first-order-modal-logic-book-melvin-fitting-9783031407161","title":"First-Order Modal Logic","description":"This revised edition of the highly recommended book \"First-Order Modal Logic\", originally published in 1998, contains both new and modified chapters reflecting the latest scientific developments. Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use possible world models; the formal proof machinery is tableaus; and full philosophical discussions are provided of the way that technical developments bear on well-known philosophical problems. The book covers quantification itself, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege's morning star\/evening star puzzle; the notion of existence and the logical problems surrounding it; non-rigid constants and function symbols; predicate abstraction, which abstracts a predicate from a formula, in effect providing a scoping function for constants andfunction symbols, leading to a clarification of ambiguous readings at the heart of several philosophical problems; the distinction between nonexistence and nondesignation; and definite descriptions, borrowing from both Fregean and Russellian paradigms. Review of the First Edition: \"This Text is an excellent and most useful volume. It is pitched  correctly: the exercises are just right... It sets a high standard for  anything following. It is to be highly recommended.\"  (Bulletin of Symbolic Logic, 8:3)","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":52418522186001,"sku":"NGR9783031407161","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031407161.jpg?v=1758929390"},{"product_id":"beyond-two-theory-and-applications-of-multiple-valued-logic-book-melvin-fitting-9783790825220","title":"Beyond Two: Theory and Applications of Multiple-Valued Logic","description":"This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics are treated, as well as applications of many-valued logics to reasoning with fuzzy information. Areas covered include: Algebras of multiple valued logics and their applications, proof theory and automated deduction in multiple valued logics, fuzzy logics and their applications, and multiple valued logics for control theory and rational belief.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52453700632849,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52453702041873,"sku":"NLS9783790825220","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783790825220.jpg?v=1759368842"},{"product_id":"raymond-smullyan-on-self-reference-book-melvin-fitting-9783319886473","title":"Raymond Smullyan on Self Reference","description":"This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan’s work on self-reference. It serves not only as a tribute to one of the great thinkers in logic, but also as a celebration of self-reference in general, to be enjoyed by all lovers of this field. Raymond Smullyan, mathematician, philosopher, musician and inventor of logic puzzles, made a lasting impact on the study of mathematical logic; accordingly, this book spans the many personalities through which Professor Smullyan operated, offering extensions and re-evaluations of his academic work on self-reference, applying self-referential logic to art and nature, and lastly, offering new puzzles designed to communicate otherwise esoteric concepts in mathematical logic, in the manner for which Professor Smullyan was so well known.    This book is suitable for students, scholars and logicians who are interested in learning more about Raymond Smullyan's work and life.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52600082497809,"sku":"NLS9783319886473","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319886473.jpg?v=1761087949"},{"product_id":"beyond-two-book-melvin-fitting-9783662002995","title":"Beyond Two","description":null,"brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52683461493009,"sku":"NLS9783662002995","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783662002995.jpg?v=1762320715"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-melvin-fitting.oembed","provider":"World of Books ","version":"1.0","type":"link"}