ISBN: 9787561140338 - 数理逻辑引论 (1 risultati)

paperback. Condizione: New. Paperback. Pub Date: 2008 Pages: 243 Language: Chinese in Publisher: Dalian University of Technology Press colleges of science and engineering math class planning textbooks. mathematical logic Introduction is divided into five chapters. including Chapters 1 and 3. mainly from the point of view of the mathematical model and mathematical background to discuss the meaning and structure of propositional logic and predicate logic. Chapter 2 and Chapter 4 is mainly studied structure and expand the .…