Re: /* A */ and /* B */ are different (Was: Proofs as programs)

Sujet : Re: /* A */ and /* B */ are different (Was: Proofs as programs)
De : julio (at) *nospam* diegidio.name (Julio Di Egidio)
Groupes : sci.logic
Date : 23. Dec 2024, 14:59:50

Autres entêtes

Organisation : A noiseless patient Spider
Message-ID : <vkbqcm$17nub$2@dont-email.me>
References : 1 2 3 4 5 6 7
User-Agent : Mozilla Thunderbird