Peter van Emde Boas (1945) was born and raised in Amsterdam. In 1969, he obtained a master degree in pure mathematics at the University of Amsterdam. Peter's interest shifted to Theoretical Computer Science, resulting in a Ph.D. on the subject of Abstract Complexity Theory in 1974. His fields of interest include complexity theory, semantics, database theory, symbolic computational linguistics, game theory, and artificial intelligence. In the field of data structures, he is known as the discoverer of the van Emde Boas Trees. He became in 1977 full professor in Mathematical Computer Science at the University of Amsterdam in the departments of Mathematics and Computer Science. There are 22 Ph.D. students who graduated under Peter's supervision. During his employment at the University, he organized many seminars and served for over 20 years chairing examination boards in Computer Science, Logic, Artificial Intelligence and Software Engineering. He retired from this position in 2009, but remains active in the Institute of Logic Language and Computation which he helped to found around 1990 and in the joint Amsterdam Chinese Logic Center at Tsinghua University. He is notorious for the questions he poses during talks and seminars. After retiring, he works on the connections between classical Chinese strategy, game theory, and logic.
Ghica van Emde Boas was born as Hendrica Lubsen in Amsterdam, the Netherlands. She received a B.S. in Mathematics from the University of Amsterdam. She worked 30 years for IBM in the Netherlands. She received an outstanding contribution award for developing a test system that marked the end of the punched-cards era. Next, she was a developer of Relational Database Management Systems in its early days. Ghica authored an article in the IBM Journal of Research and Development, "Evaluating Horn Clauses in a Relational Database Environment" (1986), together with Peter van Emde Boas; and in the IBM Systems Journal, "Business Component Prototyper" (2000). Ghica is now retired. Kaibo Xie was born in Hangzhou, China. He studied philosophy as an undergraduate student at the School of Humanities of Zhejiang University and logic as a master student at Tsinghua University. He got his Ph.D. degree at the Institute for Logic, Language and Computation, University of Amsterdam. His Ph.D. dissertation, "Where Causality, Conditionals and Epistemology meet; A Logical Inquiry" focuses on philosophical problems at the intersection of the study of conditionals, causality and epistemology and investigating logic approaches towards those problems. He has been interested in both Chinese classics and logic since his undergraduate studies. Though his publications mainly focus on philosophical logic, he is also doing research in the field where logic and ancient classics overlap. He is currently working as a postdoc in the Department of Philosophy at Tsinghua University. Bonan Zhao is a Ph.D. student at the University of Edinburgh. She obtained M.Sc. in Logic, Cum Laude, from the Institute for Logic, Language, and Computation (ILLC) at the University of Amsterdam, and a bachelor's in philosophy from Tsinghua University, Beijing, China. Her current research is focused on computational models of human causal reasoning and generalization.

Looks at Sun Tzu's "Art of War" from the perspectives of logic, mathematics, and computer science

Makes use of contemporary mind mapping methods that show how logic can be extracted from this 2500-year-old text

Presents a complete list of reasoning patterns found in Sun Tzu's text

Introduction.- Sun Tzu and the Art of War.- Diagramming Ancient Text.- The Making of a Mind Map.- Logic.- Patterns.- Conditional Sentences.- The Linguistic Perspective.- Game Theory and Strategic Thinking.- The Mind Mapping Perspective.- Start Planning.- Waging War.- Planning Attack.- Tactical Dispositions.- Energy.- Weak Points and Strong.- Contending.- Nine Variations.- The Army on the March.- Terrain.- The Nine Situations.- The Attack by Fire.- The Use of Spies.- List of All Patterns.- Translations of The Art of War.