Bookbot
The book is currently out of stock

Logics of Programs

Parameters

Categories

Book purchase

Logics of Programs, Dexter Kozen

Language
Released
2007
We’ll notify you via email once we track it down.

Payment methods