Reactive Kripke Semantics

Författare
Dov M. Gabbay
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg 2013 Utgivningsland okänt / Ej specificerat