共有 125 項, 本頁顯示 1-30 項 |
1 2 3 4 5 下一頁 | |||
Cambridge Tracts in Theoretical Computer Science (Hardcover)
Stoyan Mihov, Cambridge University Press, 出版日期: 2019/08/01
|
|||
Invitation to Applied Category Theory (Paperback)
Brendan Fong, Cambridge University Press, 出版日期: 2019/07/18
|
|||
Arithmetic (Paperback)
Paul Lockhart, Harvard University Press, 出版日期: 2019/07/15
|
|||
Art of Logic (Paperback)
Eugenia Cheng, PROFILE BOOKS, 出版日期: 2019/07/04
|
|||
Advances in Experimental Philosophy of Logic and Mathematics (Hardcover)
Andrew Aberdein, Bloomsbury Academic, 出版日期: 2019/05/02
|
|||
The Error of Truth: How History and Mathematics Came Together to Form Our Character and Shape Our Worldview (Hardcover)
Steven Osterlind, Oxford University Press, 出版日期: 2019/04/07
|
|||
New Light on George Boole (Hardcover)
Desmond MacHale, Cork University Press, 出版日期: 2019/02/28
|
|||
Hex (Paperback)
Ryan B. Hayward, Taylor & Francis, 出版日期: 2019/01/31
|
|||
Lecture Notes in Logic (Hardcover)
Yiannis N Moschovakis, Cambridge University Press, 出版日期: 2018/12/06
|
|||
Cambridge Studies in Advanced Mathematics (Hardcover)
Eric Peterson, Cambridge University Press, 出版日期: 2018/12/06
|
|||
GCHQ Puzzle Book II (Hardcover)
MICHAEL JOSEPH, 出版日期: 2018/11/27
|
|||
Making Up Your Own Mind (Hardcover)
Arte Al Dian Intl Amer Art Cor, 出版日期: 2018/11/20
|
|||
Beauty of Mathematics in Computer Science (Paperback)
Jun Wu, Taylor & Francis, 出版日期: 2018/11/02
|
|||
Cryptography (Hardcover)
Douglas Robert Stinson, Taylor & Francis, 出版日期: 2018/08/30
|
|||
Homotopy Theory of ( ,1)-Categories (Paperback)
Julia E Bergner, Cambridge University Press, 出版日期: 2018/03/31
|
|||
Reverse Mathematics (Hardcover)
University Press Group Ltd, 出版日期: 2018/01/02
|
|||
Logic: A Very Short Introduction (Paperback)
Graham Priest, Oxford University Press, 出版日期: 2017/12/26
|
|||
Transition to Analysis with Proof (Paperback)
Steven G Krantz, Taylor & Francis, 出版日期: 2017/11/20
|
|||
Core Logic (Hardcover)
Neil Tennant, Oxford University Press, 出版日期: 2017/11/07
|
|||
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age (Hardcover)
Jan von Plato, University Press Group Ltd, 出版日期: 2017/08/08
|
|||
Exploring Mathematics (Hardcover)
John Meier, Cambridge University Press, 出版日期: 2017/08/07
|
|||
Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Hardcover)
Sylvie Boldo, Elsevier Science & Technology, 出版日期: 2017/07/15
|
|||
Can You Solve My Problems? (Paperback)
Alex Bellos, Guardian Books, 出版日期: 2017/07/06
|
|||
Descriptive Complexity, Canonisation, and Definable Graph St (Hardcover)
Martin Grohe, Cambridge University Press, 出版日期: 2017/06/30
|
|||
Single Digits (Paperback)
Marc Chamberland, University Press Group Ltd, 出版日期: 2017/05/30
|
|||
Logician and the Engineer (Paperback)
Paul Nahin, University Press Group Ltd, 出版日期: 2017/04/04
|
|||
Proper and Improper Forcing (Hardcover)
Saharon Shelah, Cambridge University Press, 出版日期: 2017/03/23
|
|||
Elements of Quasigroup Theory and Applications (Hardcover)
Victor Shcherbacov, Taylor & Francis, 出版日期: 2017/03/20
|
|||
Groups, Languages and Automata (Paperback)
Derek F Holt, Cambridge University Press, 出版日期: 2017/02/23
|
|||
Higher Recursion Theory (Hardcover)
GeraldE Sacks, Cambridge University Press, 出版日期: 2017/02/17
|
|||
1 2 3 4 5 下一頁 | |||