The following pages link to The Peirce translation (Q408162):
Displaying 7 items.
- The equivalence of bar recursion and open recursion (Q400424) (← links)
- The author's voice: the translators of David Foster Wallace (Q2304705) (← links)
- A Kuroda-style \(j\)-translation (Q2312092) (← links)
- (Q5813904) (← links)
- Smart Choices and the Selection Monad (Q6135751) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023 (Q6613397) (← links)
- A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)
