Temporal Logic: Volume 1

Name: Temporal Logic: Volume 1
Brand: Oxford University Press
SKU: 9780198537694
Price: 189355 HUF
Availability: InStock

Szerző: Dov M. Gabbay, I.D. Hodkinson, Mark Reynolds, etc.

Nyelv:

Kötés: Kemény kötésű

Kiadó: Oxford University Press

Elérhetőség: Kiadói készleten rendelésre

Küldés 17-26 napon belül

189 355 Ft

This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, o...

Információk a könyvről

Szerző

Dov M. Gabbay, I.D. Hodkinson, Mark Reynolds, etc.

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

1994

oldal

668

EAN

9780198537694

ISBN

0198537697

Enbook ID

04527498

Kiadó

Oxford University Press

Súly

1214

Méretek

163 x 246 x 44

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Temporal Logic: Volume 1

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták