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

Riguardo questo articolo

Codice articolo 96294

Dati bibliografici

• Titolo: 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.