عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
ebl202212446
eng
Diagonalization in Formal Mathematics
Springer Fachmedien Wiesbaden :Imprint: Springer Spektrum,
, 2020.
e
Logic, Symbolic and mathematical. ;
Santos, Paulo Guilherme, ; author. ;
old catalog
