Search

Categories

    • categories-img Jacket, Women
    • categories-img Woolend Jacket
    • categories-img Western denim
    • categories-img Mini Dresss
    • categories-img Jacket, Women
    • categories-img Woolend Jacket
    • categories-img Western denim
    • categories-img Mini Dresss
    • categories-img Jacket, Women
    • categories-img Woolend Jacket
    • categories-img Western denim
    • categories-img Mini Dresss
    • categories-img Jacket, Women
    • categories-img Woolend Jacket
    • categories-img Western denim
    • categories-img Mini Dresss
    • categories-img Jacket, Women
    • categories-img Woolend Jacket
    • categories-img Western denim
    • categories-img Mini Dresss

Filter By Price

$
-
$

Dietary Needs

Top Rated Product

product-img product-img

Modern Chair

$165.00
product-img product-img

Plastic Chair

$165.00
product-img product-img

Design Rooms

$165.00

Brands

  • Wooden
  • Chair
  • Modern
  • Fabric
  • Shoulder
  • Winter
  • Accessories
  • Dress

Welcome and thank you for visiting us. For any query call us on 0799 626 359 or Email [email protected]

Shopping Cart

Africa largest book store

Sub Total:

Search for any Title

Temporal Logic: Volume 1

By: (Author) Dov M. Gabbay , (Author) Ian Hodkinson , (Author) Mark Reynolds

Manufactured on Demand
Delivery in 35 days

Ksh 62,150.00

Format: Hardback or Cased Book

ISBN-10: 0198537697

ISBN-13: 9780198537694

Series: Oxford Logic Guides

Publisher: Oxford University Press

Imprint: Clarendon Press

Country of Manufacture: GB

Country of Publication: GB

Publication Date: Jul 21st, 1994

Print length: 668 Pages

Weight: 1,214 grams

Dimensions (height x width x thickness): 24.60 x 16.30 x 4.40 cms

Product Classification: Mathematical logic
Mathematical theory of computation
Artificial intelligence

Choose your Location

Shipping & Delivery

Door Delivery

Delivery fee

Delivery in 35 days

  • Description

  • Reviews

BL Indispensable reference for both the pure logician and the theoretical computer scientistThis long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.
This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal logic to covering the central topics of predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results.Much of the research presented here is frontline in the new results and in the unifying methodology. This is an indispensable reference work for both the pure logician and the theoretical computer scientist.

Get Temporal Logic: Volume 1 by at the best price and quality guranteed only at Werezi Africa largest book ecommerce store. The book was published by Oxford University Press and it has pages. Enjoy Shopping Best Offers & Deals on books Online from Werezi - Receive at your doorstep - Fast Delivery - Secure mode of Payment

Customer Reviews

Based on 0 reviews

Mind, Body, & Spirit