Stock image for illustration purposes only - book cover, edition or condition may vary.
Short Introduction to Intuitionistic Logic
G. Mints
€ 178.06
FREE Delivery in Ireland
Description for Short Introduction to Intuitionistic Logic
Hardback. Presents intuitionistic logic as part of familiar classical logic which allows mechanical extraction of programs from proofs. This book provides an introduction and a background for reading research literature in logic and computer science as well as advanced monographs. Series: University Series in Mathematics. Num Pages: 140 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 17. Weight in Grams: 840.
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making this book short was inventing new proofs of several theorems. The presentation is based on natural deduction. The topics include ... Read more
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making this book short was inventing new proofs of several theorems. The presentation is based on natural deduction. The topics include ... Read more
Product Details
Format
Hardback
Publication date
2000
Publisher
Springer Science+Business Media United States
Number of pages
140
Condition
New
Series
University Series in Mathematics
Number of Pages
131
Place of Publication
, United States
ISBN
9780306463945
SKU
V9780306463945
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Short Introduction to Intuitionistic Logic
`This is the most welcome addition to the literature on intuitionistic logic, providing a substantial reference of value comparable to that of better established references for classical mathematical logic. The development of Mints' book is natural, elegant and accessible, with a minimum of fuss but no lack of attention to important detail. Overall, ... Read more