We a good story
Quick delivery in the UK

A Short Introduction to Intuitionistic Logic

About A Short Introduction to Intuitionistic Logic

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.

Show more
  • Language:
  • English
  • ISBN:
  • 9781475773194
  • Binding:
  • Paperback
  • Pages:
  • 131
  • Published:
  • April 25, 2013
  • Edition:
  • 12002
  • Dimensions:
  • 155x235x8 mm.
  • Weight:
  • 231 g.
Delivery: 2-4 weeks
Expected delivery: January 25, 2025
Extended return policy to January 30, 2025
  •  

    Cannot be delivered before Christmas.
    Buy now and print a gift certificate

Description of A Short Introduction to Intuitionistic Logic

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.

User ratings of A Short Introduction to Intuitionistic Logic



Find similar books
The book A Short Introduction to Intuitionistic Logic can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.