Logics of Time and Computation (Volume 7) (Lecture Notes)
Goldblatt, Robert
ISBN 10: 0937073946 ISBN 13: 9780937073940
Editorial: Center for the Study of Language and Inf, 1992
Nuevos
Encuadernación de tapa blanda
Librería:
Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 25 de marzo de 2015
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
In. N° de ref. del artículo ria9780937073940_new
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 and Computation (Volume 7) (...
Editorial: Center for the Study of Language and Inf
Año de publicación: 1992
Encuadernación: Encuadernación de tapa blanda
Condición: 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,73
Gastos de envío:
EUR 4,74
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,01
Gastos de envío:
EUR 11,33
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,03
Gastos de envío:
EUR 11,33
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,10
Gastos de envío:
EUR 5,98
A Estados Unidos de America
Cantidad disponible: 1 disponibles