Simple type theory : a practical logic for expressing and reasoning about mathematical ideas / William M. Farmer

Författare
William Michael Farmer
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer uuuu-uuuu Utgivningsland okänt / Ej specificerat
Flera identiska utgåvor hittades, dom har slagits ihop i listan ovan