Diagonalization in Formal Mathematics

Format:: e-book
Title:: Diagonalization in Formal Mathematics
Author:: Santos
Language:: English
Publisher:: Springer Fachmedien Wiesbaden 2020
ISBN:: 3-658-29110-9
3-658-29111-7
Permalink:: http://bibtest.howest.be/catalog/ebk03:4900000000505051?locale=en