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 -