Proof Analysis: A Contribution to Hilbert's Last Problem

By Sara Negri, Jan von Plato. 2011

86 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/3d93664a9f5bf395aef2aae6d9c10be1bde0a1b8