Sujet : Truthmaker Maximalism and undecidable decision problems
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic comp.theoryDate : 09. Jun 2024, 16:36:32
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v44i60$3jnc8$1@dont-email.me>
User-Agent : Mozilla Thunderbird