Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Dexter Kozen

Books by author

Dexter Kozen

Dynamic Logic (Foundations of Computing)

Dynamic Logic (Foundations of Computing)

ENGLISH · PDF

View details →

Dynamic Logic

Dynamic Logic

2000 · ENGLISH · PDF

View details →

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

1994 · ENGLISH · DJVU

View details →

Dynamic logic

Dynamic logic

2000 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme