Book/证明方法与理论
张, 寅生 (2016). 证明方法与理论. local page: 国防工业出版社. ISBN 978-7-118-10079-2.
The author 张寅生 also wrote this book[1].
References
- ↑ 张, 寅生 (2009). 扩展的三段论及自动推理. local page: 科学技术文献出版社. ISBN 978-7-5023-6318-5.
Related Pages
A Global Network of Personal Knowledge Container, Abstract Interpretation, Abstract Specification of PKC, Abstract nonsense, Accountability, Adjoint Functors, Adjunctions, Age Appropriate Design Code, Algebra of Systems, Anti-joke, Anti-math, Anti-operator, Applied Category Theory, Approximate truth, Arithmetic, Associative array, Bartosz Milewski, Bob Coecke, Book/A Compositional Framework for Passive Linear Networks, Book/A New Kind of Science, Book/An Investigation of the Laws of Thought, Book/Axiomatic design, Book/Axiomatic design and fabrication of composite structures, Book/CATEGORIES TYPES AND STRUCTURES, Book/Categories for the Working Mathematician, Book/Category Theory for Programmers, Book/Category Theory for the Sciences, Book/Complexity-theory and applications, Book/Computer Architecture, Book/Computer Organization and Design, Book/Conceptual Mathematics, Book/Conceptual Mathematics/OnSymmetries, Book/Discrete Mathematics with Applications, Book/From Frege to Gödel, Book/From Word to Sentence: a computational algebraic approach to grammar, Book/Gödel’s Proof, Book/Introduction to Lattices and Order, Book/Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics, Book/Logic machines and diagrams, Book/Mathematical Foundations of Computational Engineering, Book/Meta Math!, Book/Mind and Nature, Book/New Structures for Physics, Book/Picturing Quantum Processes, Book/Probably Approximately Correct, Book/Programs Grammars Arguments, Book/Seven Sketches in Compositionality, Book/Speakable and Unspeakable in Quantum Mechanics, Book/Symmetry, Book/The Ambidextrous Universe... further results