Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

A Short Introduction to Intuitionistic Logic - a book by Mints, Grigori

A Short Introduction to Intuitionistic Logic

A Short Introduction to Intuitionistic Logic( )
Author: Mints, Grigori
Series title:University Series in Mathematics Ser.
ISBN:978-1-4757-7319-4
Publication Date:Apr 2013
Publisher:Springer
Book Format:Paperback
List Price:USD $119.00
Book Description:

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...
More Description

Book Details
Pages:131
Detailed Subjects: Mathematics / General
Physical Dimensions (W X L X H):6.045 x 9.165 x 0.121 Inches
Book Weight:0.508 Pounds

Book Seller

Condition

Price

Shipping

Total

Loading Stock Details...


NEW!
Bowker Bookwire™ App

Bookwire is a mobile app for your iPhone that gives you the ability to scan a barcode or enter ISBN, access book records and add titles to wish lists. Android app on Google Play

Featured Books

Ada Twist, Scientist
Beaty, Andrea
Hardback: $17.95
Behind Closed Doors
Paris, B. A.
Hardback: $25.99
Damaged
Scottoline, Lisa
Electronic book text:

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.