Logics of Time and Computation (Lecture Notes)

Valutazione media 0
( su 0 valutazioni fornite da Goodreads )
 
9780937073940: Logics of Time and Computation (Lecture Notes)

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Review:

"This is a short but excellent introduction to modal, temporal, and dynamic logic....It manages to cover, in highly readable style, the basic cimpleteness, decidability, and expressability results in a variety of logics of the three kinds considered." Rohit Parikh, Journal of Symbolic Logic

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Goldblatt, Robert
Editore: Center for the Study of Language and Information
ISBN 10: 0937073946 ISBN 13: 9780937073940
Nuovi Brossura Quantità: 1
Da
Valutazione libreria
[?]

Descrizione libro Center for the Study of Language and Information. Condizione libro: BRAND NEW. BRAND NEW Softcover A Brand New Quality Book from a Full-Time Veteran Owned Bookshop in business since 1992!. Codice libro della libreria 2568396

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 27,37
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

2.

Robert Goldblatt
Editore: University of Chicago press
ISBN 10: 0937073946 ISBN 13: 9780937073940
Nuovi Quantità: > 20
Da
INDOO
(Avenel, NJ, U.S.A.)
Valutazione libreria
[?]

Descrizione libro University of Chicago press. Condizione libro: New. Brand New. Codice libro della libreria 0937073946

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 24,69
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,01
In U.S.A.
Destinazione, tempi e costi

3.

Robert Goldblatt
Editore: Center for the Study of Language and Inf (1992)
ISBN 10: 0937073946 ISBN 13: 9780937073940
Nuovi Paperback Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Center for the Study of Language and Inf, 1992. Paperback. Condizione libro: New. book. Codice libro della libreria 0937073946

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 37,19
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

4.

Robert Goldblatt
Editore: Centre for the Study of Language Information, United States (1992)
ISBN 10: 0937073946 ISBN 13: 9780937073940
Nuovi Paperback Quantità: 10
Da
Book Depository hard to find
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Centre for the Study of Language Information, United States, 1992. Paperback. Condizione libro: New. 2nd Revised edition. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. 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. Codice libro della libreria BTE9780937073940

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 41,44
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

Robert Goldblatt
Editore: The Center for the Study of Language and Information Publications (1992)
ISBN 10: 0937073946 ISBN 13: 9780937073940
Nuovi Brossura Quantità: 2
Da
Valutazione libreria
[?]

Descrizione libro The Center for the Study of Language and Information Publications, 1992. Condizione libro: New. Codice libro della libreria TV9780937073940

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 38,60
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,99
Da: Germania a: U.S.A.
Destinazione, tempi e costi

6.

Robert Goldblatt
Editore: Center for the Study of Language and Inf (1992)
ISBN 10: 0937073946 ISBN 13: 9780937073940
Nuovi Paperback Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Center for the Study of Language and Inf, 1992. Paperback. Condizione libro: New. 1. Codice libro della libreria DADAX0937073946

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 42,55
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,43
In U.S.A.
Destinazione, tempi e costi

7.

Goldblatt, Robert
Editore: Center for the Study of Language and Inf
ISBN 10: 0937073946 ISBN 13: 9780937073940
Nuovi PAPERBACK Quantità: 1
Da
Cloud 9 Books
(Wellington, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Center for the Study of Language and Inf. PAPERBACK. Condizione libro: New. 0937073946 New Condition. Codice libro della libreria NEW6.0626687

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 53,07
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,29
In U.S.A.
Destinazione, tempi e costi

8.

Goldblatt, Robert
Editore: Stanford Univ Center for the Study (1992)
ISBN 10: 0937073946 ISBN 13: 9780937073940
Nuovi Paperback Quantità: 1
Da
Revaluation Books
(Exeter, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Stanford Univ Center for the Study, 1992. Paperback. Condizione libro: Brand New. 2nd edition. 180 pages. 9.50x6.50x0.75 inches. In Stock. Codice libro della libreria 0937073946

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 51,05
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 6,71
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

9.

Robert Goldblatt
ISBN 10: 0937073946 ISBN 13: 9780937073940
Nuovi Paperback Quantità: 1
Da
AussieBookSeller
(SILVERWATER, NSW, Australia)
Valutazione libreria
[?]

Descrizione libro 1992. Paperback. Condizione libro: New. 2nd. Paperback. 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,.Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. 180 pages. 0.331. Codice libro della libreria 9780937073940

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 40,70
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 31,78
Da: Australia a: U.S.A.
Destinazione, tempi e costi