Күн бұрынPierce's law, Consequentia Mirabilis, ¬¬-Elimination and LEM without Explosion Рет қаралды 141Nikolaj-K 1 1 I prove all the relations of the 5 principles over minimal logic. Excuse the text typos on the first page. Show notes:gist.github.co...Жүктеу
Пікірлер