A Lattice-Theoretical Fixpoint Theorem and its Applications (1955)

by A Tarksi
Venue:J. Math