Methods of Cut-elimination (Trends in Logic)

Författare
Matthias Baaz
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer Netherlands 2011 Utgivningsland okänt / Ej specificerat