Exploring Mathematics: An Engaging Introduction to Proof
John Meier2017 年出版324 页ISBN:1107128989
AN INTRODUCTION TO PROOF AND ANALYSIS EXPLORING THE INFINITE
JENNIFER BROOKS2017 年出版283 页ISBN:9781498704496
Grammars for Programming Languages
J.Craig Cleaveland Robert C.Uzgalis2222 年出版154 页ISBN:
CATEGORLAL GRAMMARS AND NATURAL LANGUAGE STRUCTURES
RICHARD T.OEHRLE1988 年出版526 页ISBN:1556080301