Pairing without conventional restraints, Zeitschr (1974)

by H P Barendregt
Venue:Math. Logik und Grundlagen der Math