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 (edition 1), 1992

Usado Paperback

Librer�a: BooksRun, Philadelphia, PA, Estados Unidos de America Calificaci�n del vendedor: 5 de 5 estrellas

Vendedor de AbeBooks desde 2 de febrero de 2016

Este art�culo en concreto ya no est� disponible.

Ver los art�culos de este vendedor Crear una petici�n para art�culos similares

Ver todos los ejemplares de este libro

Descripci�n

Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. N� de ref. del art�culo 0937073946-11-1

Denunciar este art�culo

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 (edition 1)
A�o de publicaci�n: 1992
Encuadernaci�n: Paperback
Condici�n: Good
Edici�n: 1.

Los mejores resultados en AbeBooks

Imagen de archivo

Logics of Time and Computation (Lecture Notes)

Robert Goldblatt

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

Contactar al vendedor