Huber Dyson, Verena books & textbook
Gödels Theorems: a Workbook on Formalization (Teubner-Texte zur Mathematik) (German Edition)
Vieweg+Teubner Verlag /1991T Paperback / 292 Pages
isbn-10: 3815420237 / isbn-13: 9783815420232
Lattices over Orders I (Lecture Notes in Mathematics, 115)
Roggenkamp, Klaus W. Huber-Dyson, Verena
Springer /1970-01-01 Paperback / 296 Pages
isbn-10: 3540049045 / isbn-13: 9783540049043
