Logics of Time & Computation 2e
Goldblatt, Robert
ISBN 10: 0937073946 ISBN 13: 9780937073940
Editorial: Stanford Univ Center for the Study, 1992
Nuevos
Paperback
Librería:
Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 6 de enero de 2003
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
2nd edition. 180 pages. 9.50x6.50x0.75 inches. In Stock. N° de ref. del artículo 0937073946
Sinopsis:
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.
Críticas: "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
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: Logics of Time & Computation 2e
Editorial: Stanford Univ Center for the Study
Año de publicación: 1992
Encuadernación: Paperback
Condición: Brand New
Los mejores resultados en AbeBooks
Imagen de archivo
Logics of Time and Computation (Lecture Notes)
Publicado por
Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Nuevo
Trade Paperback
Librería: Reader's Corner, Inc., Raleigh, NC, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Trade Paperback. Condición: New. Second Edition, Revised & Expanded. This is a new, paperback, second edition copy, maroon spine. Nº de ref. del artículo: 087841
Comprar nuevo
EUR 21,78
Gastos de envío:
EUR 4,75
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logics of Time & Computation 2e
Publicado por
Stanford Univ Center for the Study, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 2nd edition. 180 pages. 9.50x6.50x0.75 inches. In Stock. Nº de ref. del artículo: __0937073946
Comprar nuevo
EUR 28,06
Gastos de envío:
EUR 11,35
De Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logics of Time & Computation 2e
Publicado por
Stanford Univ Center for the Study, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 2nd edition. 180 pages. 9.50x6.50x0.75 inches. In Stock. Nº de ref. del artículo: zk0937073946
Comprar nuevo
EUR 47,11
Gastos de envío:
EUR 11,35
De Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logics of Time and Computation (Volume 7) (Lecture Notes)
Publicado por
Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946
ISBN 13: 9780937073940
Nuevo
Paperback
Librería: BennettBooksLtd, San Diego, NV, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. In shrink wrap. Looks like an interesting title! Nº de ref. del artículo: Q-0937073946
Comprar nuevo
EUR 83,28
Gastos de envío:
EUR 6,00
A Estados Unidos de America
Cantidad disponible: 1 disponibles