Melvin Fitting – författare
Visar alla böcker från författaren Melvin Fitting. Handla med fri frakt och snabb leverans.
18 produkter
Justification Logic
Reasoning with Reasons
Av Sergei Artemov, Melvin Fitting
Inbunden, 2019
1987 kr
Lägg i varukorg
Classical logic is concerned, loosely, with the behaviour of truths. Epistemic logic similarly is about the behaviour of known or believed truths. Justification logic is a theory of reasoning that enables the tracking of evidence for statements and therefore provides a logical framework for the …
Justification Logic
Reasoning with Reasons
Av Melvin Fitting, Sergei Artemov
E-bok, 2019
1910 kr
Lägg i varukorg
Classical logic is concerned, loosely, with the behaviour of truths. Epistemic logic similarly is about the behaviour of known or believed truths. Justification logic is a theory of reasoning that enables the tracking of evidence for statements and therefore provides a logical framework for the …
First-Order Logic and Automated Theorem Proving
E-bok, 2012
1214 kr
Lägg i varukorg
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 …
First-Order Logic and Automated Theorem Proving
Häftad, 2013
987 kr
Lägg i varukorg
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 …
First-Order Logic and Automated Theorem Proving
E-bok, 2012
1174 kr
Lägg i varukorg
There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scientists. Although there is a common core to all such books they will be very dif ferent in emphasis, methods, and even appearance. This book is intended for …
First-Order Modal Logic
Av Melvin Fitting, Richard L. Mendelsohn
Inbunden, 2023
1314 kr
Lägg i varukorg
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 …
First-Order Modal Logic
Av Richard L. Mendelsohn, Melvin Fitting
E-bok, 2023
1754 kr
Lägg i varukorg
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 …
First-Order Modal Logic
Av Melvin Fitting, Richard L. Mendelsohn
Häftad, 2024
1314 kr
Lägg i varukorg
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 …
Raymond Smullyan on Self Reference
Av Melvin Fitting, Brian Rayman
Inbunden, 2018
732 kr
Lägg i varukorg
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 on Self Reference
Av Brian Rayman, Melvin Fitting
E-bok, 2018
1587 kr
Lägg i varukorg
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 on Self Reference
Av Melvin Fitting, Brian Rayman
Häftad, 2019
1205 kr
Lägg i varukorg
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. …
Beyond Two: Theory and Applications of Multiple-Valued Logic
Av Melvin Fitting, Ewa Orlowska
2012
672 kr
Lägg i varukorg
Beyond Two: Theory and Applications of Multiple-Valued Logic
Av Melvin Fitting, Ewa Orlowska
Inbunden, 2003
1685 kr
Lägg i varukorg
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. …
Beyond Two: Theory and Applications of Multiple-Valued Logic
Av Ewa Orlowska, Melvin Fitting
E-bok, 2013
2111 kr
Lägg i varukorg
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. …
Beyond Two: Theory and Applications of Multiple-Valued Logic
Av Melvin Fitting, Ewa Orlowska
Häftad, 2010
1685 kr
Lägg i varukorg
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. …
