Dynamic Logic. Cambridge, MIT (2000). gr.8°. XV, 459 p. Cloth. with dust jacket. With exercises.- Name on flyleaves, name and pencil annotation on title, otherwise in very good condition.

HAREL, David, Dexter KOZEN & Jerzy TIURYN

A propos de cet article

N° de réf. du vendeur 96294

Détails bibliographiques

• Titre: Dynamic Logic. Cambridge, MIT (2000). gr.8°. XV, 459 p. Cloth. with dust jacket. With exercises.- Name on flyleaves, name and pencil annotation on title, otherwise in very good condition.