Pairing without conventional restraints, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 20 (1974)

by Henk Barendregt