pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register
CATEGORY BROWSE
Arts

Agriculture

Biography

Business

Children's

Computing

Earth Sciences

Economics

Educational

Engineering

English Language Teaching (ELT)

Environment

Family

Fiction

Finance

Geography

Home

Humanities

Industry

Information

Information Technology

Interdisciplinary Subjects

Language

Law

Leisure Interests

Literature

Mathematics

Medicine

Planning

Practical Interests

Reference

Science

Social Sciences

Sport

Technology

Travel

Veterinary Science


ABOUT US
About Us
Contact Us
Terms & Conditions

Item Details
Title: HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 2. BACKGROUND: COMPUTATIONAL STRUCTURES
By: S. Abramsky (Editor)
Format: Hardback

List price: £430.00
Our price: £376.25
Discount:
12.5% off
You save: £53.75
ISBN 10: 0198537611
ISBN 13: 9780198537618
Availability: Usually dispatched within 1-3 weeks.
 Delivery rates
Stock: Currently 0 available
Publisher: OXFORD UNIVERSITY PRESS
Pub. date: 10 December, 1992
Series: Handbook of Logic in Computer Science
Pages: 582
Description: The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science.
Synopsis: The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science. The Handbook comprises six volumes. Each volume contains five or six chapters giving an in-depth overview of one of the major topics in the field. It is the result of many years of co-operative effort by some of the most eminent frontline researchers in the area. It will no doubt be the standard reference work in logic and theoretical computer science for years to come - essential reading for all those interested in theoretical computer science and logic.
Illustrations: line figures
Publication: UK
Imprint: Clarendon Press
Returns: Returnable
Some other items by this author:
A NEW APPROACH TO QUANTUM LOGIC (PB)
A NEW PERSPECTIVE ON NONMONOTONIC LOGICS (HB)
A NEW PERSPECTIVE ON NONMONOTONIC LOGICS (PB)
A PRACTICAL LOGIC OF COGNITIVE SYSTEMS (HB)
ABDUCTIVE REASONING AND LEARNING (HB)
ABDUCTIVE REASONING AND LEARNING (PB)
ACTION SEMANTICS (PB)
ADVANCES IN TEMPORAL LOGIC (HB)
ADVANCES IN TEMPORAL LOGIC (PB)
AGENDA RELEVANCE: A STUDY IN FORMAL PRAGMATICS (HB)
ALGORITHMIC INFORMATION THEORY (PB)
ANALYSIS AND SYNTHESIS OF LOGICS (HB)
ANALYSIS AND SYNTHESIS OF LOGICS (PB)
APPLICATIONS OF PROCESS ALGEBRA (PB)
APPROACHES TO LEGAL RATIONALITY (HB)
APPROACHES TO LEGAL RATIONALITY (PB)
AUTOMATA, LANGUAGES AND PROGRAMMING (PB)
AUTOMATA, LANGUAGES AND PROGRAMMING (PB)
BASIC SIMPLE TYPE THEORY (HB)
BELIEF CHANGE (PB)
BELIEF REVISION (PB)
BRITISH LOGIC IN THE NINETEENTH CENTURY (HB)
CATEGORY THEORY AND COMPUTER PROGRAMMING (PB)
CATEGORY THEORY AND COMPUTER SCIENCE (PB)
COMPILED LABELLED DEDUCTIVE SYSTEMS (HB)
COMPUTATIONAL LOGIC (HB)
CONDITIONALS AND MODULARITY IN GENERAL LOGICS (HB)
CONDITIONALS AND MODULARITY IN GENERAL LOGICS (PB)
DEPENDENCE LOGIC (HB)
DEPENDENCE LOGIC : THEORY AND APPLICATIO (PB)
DYNAMIC SYNTAX (HB)
DYNAMIC SYNTAX (PB)
EXTENSIONS OF FIRST-ORDER LOGIC (PB)
FIBRING LOGICS (HB)
FORMAL SEMANTICS AND PRAGMATICS FOR NATURAL LANGUAGE QUERYING (PB)
FRONTIERS OF COMBINING SYSTEMS (HB)
FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE (HB)
GENERAL PHILOSOPHY OF SCIENCE: FOCAL ISSUES (HB)
GOAL-DIRECTED PROOF THEORY (HB)
GOAL-DIRECTED PROOF THEORY (PB)
GREEK, INDIAN AND ARABIC LOGIC (HB)
HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS (HB)
HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS (HB)
HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS (HB)
HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS (PB)
HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS (PB)
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING: VOLUME 1: LOGIC FOUNDATIONS (HB)
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING: VOLUME 2: DEDUCTION METHODOLOGIES (HB)
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING: VOLUME 3: NONMONOTONIC REASONING AND UNCERTAIN REASONING (HB)
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING: VOLUME 5: LOGIC PROGRAMMING (HB)
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 1. BACKGROUND: MATHEMATICAL STRUCTURES (HB)
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 3. SEMANTIC STRUCTURES (HB)
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 4. SEMANTIC MODELLING (HB)
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 5. ALGEBRAIC AND LOGICAL STRUCTURES (HB)
HANDBOOK OF PARACONSISTENCY (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (HB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF PHILOSOPHICAL LOGIC (PB)
HANDBOOK OF QUANTUM LOGIC AND QUANTUM STRUCTURES (HB)
HANDBOOK OF TABLEAU METHODS (HB)
HANDBOOK OF TABLEAU METHODS (PB)
HANDBOOK OF TEMPORAL REASONING IN ARTIFICIAL INTELLIGENCE (HB)
HANDBOOK OF THE LOGIC OF ARGUMENT AND INFERENCE (HB)
INDUCTIVE LOGIC (HB)
INTERPOLATION AND DEFINABILITY (HB)
INVESTIGATIONS IN MODAL AND TENSE LOGICS WITH APPLICATIONS TO PROBLEMS IN PHILOSOPHY AND LINGUISTICS (HB)
INVESTIGATIONS IN MODAL AND TENSE LOGICS WITH APPLICATIONS TO PROBLEMS IN PHILOSOPHY AND LINGUISTICS (PB)
LABELLED DEDUCTION (HB)
LABELLED DEDUCTION (PB)
LABELLED DEDUCTIVE SYSTEMS (HB)
LOGIC AND COMPUTATION (PB)
LOGIC AND THE MODALITIES IN THE TWENTIETH CENTURY (HB)
LOGIC COLLOQUIUM 92 (HB)
LOGIC COLLOQUIUM 92 (PB)
LOGIC FOR ARTIFICIAL INTELLIGENCE AND INFORMATION TECHNOLOGY (PB)
LOGIC FROM RUSSELL TO CHURCH
LOGIC FROM RUSSELL TO CHURCH (HB)
LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE (HB)
LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE (PB)
LOGIC: A HISTORY OF ITS CENTRAL CONCEPTS (HB)
LOGICAL TOOLS FOR HANDLING CHANGE IN AGENT-BASED SYSTEMS (HB)
LOGICAL TOOLS FOR HANDLING CHANGE IN AGENT-BASED SYSTEMS (PB)
MANY-DIMENSIONAL MODAL LOGICS: THEORY AND APPLICATIONS (HB)
MATHEMATICAL FOUNDATIONS OF INFORMATION FLOW (HB)
MATHEMATICAL PROBLEMS FROM APPLIED LOGIC (HB)
MATHEMATICAL PROBLEMS FROM APPLIED LOGIC (HB)
MATHEMATICAL PROBLEMS FROM APPLIED LOGIC I (PB)
MEDIAEVAL AND RENAISSANCE LOGIC (HB)
META-LOGICAL INVESTIGATIONS IN ARGUMENTATION NETWORKS (PB)
METAMATHEMATICS, MACHINES AND GODEL'S PROOF (PB)
NETS, TERMS AND FORMULAS (PB)
NEURAL-SYMBOLIC COGNITIVE REASONING (HB)
NEURAL-SYMBOLIC COGNITIVE REASONING (PB)
NEURAL-SYMBOLIC LEARNING SYSTEMS (PB)
PHILOSOPHY OF ANTHROPOLOGY AND SOCIOLOGY (HB)
PHILOSOPHY OF BIOLOGY (HB)
PHILOSOPHY OF COMPLEX SYSTEMS (HB)
PHILOSOPHY OF ECOLOGY (HB)
PHILOSOPHY OF INFORMATION (HB)
PHILOSOPHY OF LINGUISTICS (HB)
PHILOSOPHY OF MATHEMATICS
PHILOSOPHY OF MATHEMATICS (HB)
PHILOSOPHY OF MEDICINE (HB)
PHILOSOPHY OF PSYCHOLOGY AND COGNITIVE SCIENCE (HB)
PHILOSOPHY OF STATISTICS (HB)
PHILOSOPHY OF TECHNOLOGY AND ENGINEERING SCIENCES (HB)
PRACTICAL REASONING (PB)
PREDICATETRANSFORMER SEMANTICS (PB)
PROGRAMS, RECURSION AND UNBOUNDED CHOICE (PB)
PROOF THEORY FOR FUZZY LOGICS (PB)
QUALITATIVE AND QUANTITATIVE PRACTICAL REASONING (PB)
QUANTIFICATION IN NONCLASSICAL LOGIC
QUANTIFICATION IN NONCLASSICAL LOGIC (HB)
QUANTIFIED REPRESENTATION OF UNCERTAINTY AND IMPRECISION (HB)
QUANTIFIED REPRESENTATION OF UNCERTAINTY AND IMPRECISION (PB)
REACTIVE KRIPKE SEMANTICS (HB)
REACTIVE KRIPKE SEMANTICS (PB)
REVISION, ACCEPTABILITY AND CONTEXT (HB)
REVISION, ACCEPTABILITY AND CONTEXT (PB)
SEMANTICAL INVESTIGATIONS IN HEYTING'S INTUITIONISTIC LOGIC (HB)
SEMANTICAL INVESTIGATIONS IN HEYTING'S INTUITIONISTIC LOGIC (PB)
SETS AND EXTENSIONS IN THE TWENTIETH CENTURY (HB)
SYNTHESIS OF CONCEPTS IN THE TALMUD (HB)
TAPSOFT '91: PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, BRIGHTON, UK, APRIL 8-12, 1991 (PB)
TAPSOFT '91: PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, BRIGHTON, UK, APRIL 8-12, 1991 (PB)
TEMPORAL LOGIC (PB)
TEMPORAL LOGIC: VOLUME 1 (HB)
TEMPORAL LOGIC: VOLUME 2 (HB)
THE LOGIC OF TYPED FEATURE STRUCTURES (PB)
THE MANY VALUED AND NONMONOTONIC TURN IN LOGIC (HB)
THE RISE OF MODERN LOGIC: FROM LEIBNIZ TO FREGE (HB)
THE TEXTUAL INFERENCE RULES KLAL UPRAT. HOW THE TALMUD DEFINES SETS (HB)
TOPOLOGY VIA LOGIC (PB)
TRENDS IN BELIEF REVISION AND ARGUMENTATION DYNAMICS (PB)
TYPED LAMBDA CALCULI AND APPLICATIONS (PB)
UPDATING LOGICAL DATABASES (PB)
WHAT IS A LOGICAL SYSTEM? (HB)
WHAT IS NEGATION? (HB)
WHAT IS NEGATION? (PB)

TOP SELLERS IN THIS CATEGORY
BTEC First in I&CT Revision Workbook (Paperback)
By:
Pearson Education Limited
Our Price : £5.54
more details
OCR AS and A Level Computer Science (Paperback)
By: P. M. Heathcote, R. S. U. Heathcote
PG Online Limited
Our Price : £32.30
more details
The Most Human Human (Paperback)
By: Brian Christian
Penguin Books Ltd
Our Price : £8.02
more details
Innovators (Paperback)
By: Walter Isaacson
Simon & Schuster Ltd
Our Price : £8.02
more details
Quantum Computation and Quantum Information (Hardback)
By: Michael A. Nielsen, Isaac L. Chuang
Cambridge University Press
Our Price : £53.99
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 general theory of computing


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 

NEW
Illustrated Encyclopedia of Science
By: CLAUDIA MARTIN
add to basket

Fiction
Impossible Creatures
By: KATHERINE RUNDELL
add to basket

Fiction
Not for the Faint of Heart
By: LEX CROUCHER
add to basket

Fiction
Secret of Golden Island
By: NATASHA FARRANT
add to basket

Early Learning
Dictionary Story
By: SAM WINSTON
add to basket

Early Learning
Little Worried Caterpillar (PB)
By: CHRISTINE PYM
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
add to basket

Early Learning
Nutty Numbers
By: DR. SEUSS
add to basket

Picture Book
All the Things We Carry PB
By: HELEN DOCHERTY
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
add to basket

Picture Book
Animal Swim School
By: KATE PERIDOT
add to basket