Pairing without conventional restraints (1974)

by Henk Barendregt
Venue:Z. Math. Logik Grundlag. Math