Select number of records to
display per page:
|
Sort by
|
1.
|
|
Intensional Logics for Programming(Hardback)
Clarendon Press
Published:
27/08/1992
Intensional logics provide a theoretical basis for establishing the foundations of programming. This volume discusses the use of intensional logics for the semantical analysis of logic programs and ...
In Stock:
None
List Price:
|
£24.99 |
Our Price:
£21.87
|
|
|
|
|
|
2.
|
|
Substructural Logics(Hardback)
Clarendon Press
Published:
16/12/1993
BL A collection of papers by eminent logicians BL The only unified approach to this subject available Substructural logics are nonclassical logics which arose in response to problems in theoretica...
In Stock:
None
List Price:
|
£110.00 |
Our Price:
£96.25
|
|
|
|
|
|
3.
|
|
Nonstandard Queries and Nonstandard Answers(Hardback)
Clarendon Press
Published:
27/10/1994
BL A fundamental review of logic theory for database and knowledge systemsThis book, from the Studies in Logic and Computer Science series, uses non-classical logics inorder to formalize new querie...
In Stock:
None
List Price:
|
£100.00 |
Our Price:
£87.50
|
|
|
|
|
|
4.
|
|
What is a Logical System?(Hardback)
Clarendon Press
Published:
08/12/1994
BL Internationally renowned contributors including Kosta Dosen, Solomon Feferman, Neil Tennent, and Robert KowalskiA collection of papers addressing the fundamental question "what is a logical syst...
In Stock:
None
List Price:
|
£167.50 |
Our Price:
£146.56
|
|
|
|
|
|
5.
|
|
Conditionals: From Philosophy to Computer Science(Hardback)
Clarendon Press
Published:
30/11/1995
Internationally recognized logicians present current thinking on the understanding of the role of deduction in human reasoning.
In Stock:
None
List Price:
|
£63.00 |
Our Price:
£55.13
|
|
|
|
|
|
6.
|
|
7.
|
|
8.
|
|
9.
|
|
10.
|
|
Logical Reasoning with Diagrams(Hardback)
Oxford University Press Inc
Published:
01/02/1996
A research monograph, this book addresses the logical aspects of the visualization of information with papers specially commissioned for this book. The authors explore the logical properties of diag...
|
|
Select All |
|
|
|