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

Download

Treatise on Intuitionistic Type Theory - a book by Granström, Johan Georg

Treatise on Intuitionistic Type Theory

Treatise on Intuitionistic Type Theory( )
Author: Granström, Johan Georg
Series title:Logic, Epistemology, and the Unity of Science Ser.
ISBN:978-94-007-3639-9
Publication Date:Aug 2013
Publisher:Springer
Book Format:Paperback
List Price:USD $209.00
Book Description:

Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science.  In particular, intuitionistic type theory is a foundation for mathematics and a programming language.

Book Details
Pages:198
Detailed Subjects: Mathematics / Logic
Physical Dimensions (W X L X H):6.045 x 9.165 x 0.176 Inches
Book Weight:0.73 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

A Bedtime for Bear
Becker, Bonny
Paperback: $6.99
Dog Man
Pilkey, Dav
Hardback: $9.99
Appetites
Bourdain, Anthony
Electronic book text:

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.