por Deaconu, Valentin [autor] | Pfaff, Donald C. (Donald Chesley) [autor].
por NATO Advanced Study Institute on Proof and System-Reliability (2001 : Marktoberdorf, Alemania) | Schwichtenberg, Helmut, 1942- [editor] | Steinbruggen, Ralf [editor].
por Hamkins, Joel David [autor].