Temporal Logic Volume 1 - Schoolbooks Maynooth

General Books

School Books

Stationery

Menu

Sign In / Up

Sign in to your account or register new one to have full control over your orders, receive bonuses and more.

Sign In

New customer? Register

0 Cart

Subtotal: 0.00

Total Items In Cart:

View Cart

Sign In / Up

Home
Pre-orders
Book Subscription
General Books
Childrens Books
Non-Fiction
Primary School Books
Secondary School Books
- Junior Cert
  - Business
  - CSPE
  - English
  - French
  - Geography
  - German
  - History
  - Home Economics
  - Irish
  - Math
  - Music
  - PE Junior
  - Science
  - Sphe
  - Spanish
  - Technology & Graphics
- Senior Cert
  - Art
  - Biology
  - Business, Acc. & Economics
  - Chemistry
  - English
  - French
  - Geography
  - German
  - History
  - Home Economics
  - Irish
  - Math
  - Music
  - PE
  - Physics
  - Politics & Society
  - Sphe
  - Spanish
  - Contstruction, DCG & Technology
- Transition Year Books
- Novels
- Plays
- Secondary Irish Books
- Career Guidance
- Secondary School General
Exam Preparation
Stationery
School Book Lists
- Primary School books Lists
- Secondary School books Lists
Help

General Books

School Books

Stationery

Home
General Books
- Popular in Books
- Non-Fiction
- Children Books
Children's Books
Primary School Books
Secondary School Books
Join our Mailing List
Book Subscription
Blog
Help
- Help
- Kildare
- Maynooth University Bookshop

0 Cart

Subtotal: 0.00

Total Items In Cart:

View Cart

General Book Search for "9780198537694"

General Books
School Books

Temporal Logic: Volume 1

Author : Dov M. Gabbay,Mark Reynolds
Hardback
Published : Thursday 21 July 1994
ISBN : 9780198537694
Price : €342.23

Description

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.