"An Institution-Independent Proof of the Robinson Consistency Theorem."

Daniel Gâinâ, Andrei Popescu (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics