Proof, Computation and Agency: Logic at the Crossroads (Synthese Library)

Författare
Rohit Parikh
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer Netherlands 2011 Utgivningsland okänt / Ej specificerat