ISBN-13: 9783034807883 / Angielski / Miękka / 2015 / 429 str.
ISBN-13: 9783034807883 / Angielski / Miękka / 2015 / 429 str.
This `excursion' through the evolution of research mathematics takes in some 40 papers, published up to the 1970s, on proofs of the Cantor-Bernstein theorem. It provides a detailed example of proof-processing in the derivation of Bernstein's division theorem.