Troelstra の "Metamathematical Investigation of Intuitionistic Arithmetic and Analysis" です。 https://t.co/1yXMI1FvfP
9,596 followers
13,301 followers
Troelstra, A.S. (ed.): Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. Lecture Notes in Mathematics, Vol. 344. Springer-Verlag, Berlin, New York (1973). https://t.co/QXTYQbYlOe $ORCL $MSFT $DELL $VMW $ACN $NOW $TSLA #DeepLearnin
282 followers
Good job, @SpringerNature, you just destroy a classic. The scan quality of the first chapter of A. S. Troelstra's Metamathematical Investigation of Intuitionistic Arithmetic and Analysis is lower than anyone one can read. https://t.co/q0C2OtZvmf
971 followers
スキャンが悪くて読めない./Troelstra (1973), Metamathematical Investigation of Intuitionistic Arithmetic and Analysis https://t.co/eA1zQvCamy