0
*
0
*
1450
2025
book-filter
Work cover

Dynamic Logic (Foundations of Computing)

  • Dexter Kozen

0

0 ratings

Genres

  • Formal methods (Computer science)
  • Computer logic
  • Logic, symbolic and mathematical
Already read

people already read

Currently reading

people are currently reading

Want to read

people want to read

About the author

  • Dexter Kozen

    born 1951

    0

    0 ratings · 7 works

Editions

  • Edition cover

    1st edition

    The MIT Press

    October 2, 2000