| Select number of records to
display per page:
|
Sort by
|
|
1.
|
|
|
2.
|
|
|
Explanatory Nonmonotonic Reasoning(Hardback)
World Scientific Publishing Co Pte Ltd
Published:
20/01/2005
|
In Stock:
None
| List Price:
|
£135.00 |
|
Our Price:
£121.50
|
|
Availability:
Temporarily Out of Stock
|
|
|
|
|
|
3.
|
|
|
Functional Interpretation Of Logical Deduction, The(Hardback)
World Scientific Publishing Co Pte Ltd
Published:
02/11/2011
By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, this book allows mathematical foundations for systems of logic presentation design...
|
In Stock:
None
| List Price:
|
£91.00 |
|
Our Price:
£81.90
|
|
Availability:
Temporarily Out of Stock
|
|
|
|
|
|
4.
|
|
|
5.
|
|
|
Reasoning About Theoretical Entities(Paperback)
World Scientific Publishing Co Pte Ltd
Published:
18/11/2003
Reductionism is one of those philosophical myths that are either enthusiastically embraced or wholeheartedly rejected. This book aims to give reductionism its day in court, by developing several ver...
|
|
|
6.
|
|
|
Essays On Non-classical Logic(Hardback)
World Scientific Publishing Co Pte Ltd
Published:
11/05/2001
Problems addressed in this title range from methodological issues in paraconsistent and deontic logic to the revision theory of truth and infinite Turing machines. The book identifies a number of im...
|
|
|
7.
|
|
|
Fork Algebras In Algebra, Logic And Computer Science(Hardback)
World Scientific Publishing Co Pte Ltd
Published:
01/08/2002
Fork algebras are a formalism based on the relational calculus with a particular appeal to computer science. Many applications of Fork algebras in formal methods are foreseen, and the work covers al...
|
|
|
8.
|
|
|
Reasoning About Theoretical Entities(Hardback)
World Scientific Publishing Co Pte Ltd
Published:
19/09/2003
Reductionism is one of those philosophical myths that are either enthusiastically embraced or wholeheartedly rejected. This book aims to give reductionism its day in court, by developing several ver...
|
|
|
Select All |
|
|
|