adicionar à lista de desejos
Logics Of Time And Computation
language: english
Publisher:
CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION, June of 1992 ‧
see product details
OUT OF STOCK OR NOT AVAILABLE
Sell your book
SYNOPSIS
Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780937073940 |
| Publisher: | CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION |
| Release Date: | June of 1992 |
| Language: | English |
| Dimensions: | 152 x 228 x 15 mm |
| Cover: | Softcover |
| Pages: | 190 |
| Format: | Book |
| Categories: |
Books in English
>
Science
>
Mathematics
|
| EAN: | 9780937073940 |
-
10%TopoiDOVER PUBLICATIONS INC.37,16€ 10% CARDfree shipping
-
imagem não disponívelMathematics Of ModalityMathematics Of ModalityCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION70,30€