Stock image for illustration purposes only - book cover, edition or condition may vary.
Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs)
A. G. Dragalin
€ 186.93
FREE Delivery in Ireland
Description for Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs)
Paperback. In the area of mathematical logic, a great deal of attention is now being devoted to the study of nonclassical logics. This book intends 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. Series: Translations of Mathematical Monographs Reprint. Num Pages: 228 pages. BIC Classification: PB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 254 x 178. Weight in Grams: 431.
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 description 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.
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 description 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.
Product Details
Format
Paperback
Publication date
1988
Publisher
American Mathematical Society
Condition
New
Series
Translations of Mathematical Monographs Reprint
Number of Pages
228
Place of Publication
Providence, United States
ISBN
9780821845202
SKU
V9780821845202
Shipping Time
Usually ships in 7 to 11 working days
Ref
99-1
Reviews for Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs)