Sujet : Gödel's Basic Logic Course at Notre Dame (Was: Analytic Truth-makers)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : comp.theory sci.logicDate : 23. Jul 2024, 13:02:23
Autres entêtes
Message-ID : <v7o64d$7r0l$1@solani.org>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.18.2
Little bit odd reference to mathematical logic for 2024.
olcott schrieb:
Curry, Harkell B. 1977. Foundations of Mathematical Logic. Page:45
…