Filter By
Books (8)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Numbers by Melvin Fitting 9781848903357
RRP: $18.71Booksplease Price: $18.00Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781848903357Author Melvin FittingFormat PaperbackPage Count 238Imprint College PublicationsPublisher... -
Raymond Smullyan on Self Reference by Melvin Fitting 9783319687315
RRP: $128.99Booksplease Price: $58.44This 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... -
First-Order Modal Logic by Melvin Fitting 9783031407130
Booksplease Price: $143.91This 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... -
Raymond Smullyan on Self Reference by Melvin Fitting 9783319886473
RRP: $128.99Booksplease Price: $104.13This 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... -
Selected Topics from Contemporary Logics by Melvin Fitting 9781848903500
RRP: $30.96Booksplease Price: $29.26Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781848903500Author Melvin FittingFormat PaperbackPage Count 858Imprint College PublicationsPublisher... -
First-Order Logic and Automated Theorem Proving by Melvin Fitting 9781461275152
Booksplease Price: $97.78There 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,... -
Automated Deduction in Classical and Non-Classical Logics: Selected Papers by Ricardo Caferra 9783540671909
Booksplease Price: $59.70Thisvolumeisacollectionofpapers onautomateddeduction inclassical,modal, and many-valued logics, with an emphasis on rst-order theories. Some authors bridgethe gaptohigher-order... -
Justification Logic: Reasoning with Reasons by Sergei Artemov 9781108424912
RRP: $148.35Booksplease Price: $143.24Classical 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...