Ω-Bibliography of Mathematical Logic Proof Theory Constructive Mathematics

Författare
Gert H Author Müller
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat 978-3-662-09067-1