TY  - BOOK
AU  - Grechuk, Bogdan
TI  - Theorems of the 21st century: Vol.1
SN  - 9783030190958
U1  - 510 
PY  - 2019///
CY  - Cham
PB  - Springer
KW  - Mathematics
KW  - Logic, Symbolic and mathematical
KW  - Induction (Mathematics)
N1  - Includes bibliographical references and indexes
ER  -