【预订】Mathematical Intuitionism 9780821845202 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780821845202 Author 作者 A. G. Dragalin Format 版本 平装-胶订 Pages Number 页数 228页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 1988-12-31 Language 语种 英语 Book Contents 内容简介 In the area of mathematical logic, a great deal of attention is now being devoted to the study of nonclassical logics. Nonclassical logics are used in the theory of computations, in information theory, and for the de*ion of systems of heuristic programming. Intuitionistic logic is a particularly important nonclassical logic. The aim of this book is to present the most important methods of proof theory in intuitionistic logic and to acquaint the reader with the principal axiomatic theories based on intuitionistic logic. The exposition, accessible to a wide audience, requires only an introductory course in classical mathematical logic.
¥745.00
海外直订Mathematical Intuitionism 数学直觉说
¥1978