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:
  • 9780306463945
  • Binding:
  • Hardback
  • Pages:
  • 131
  • Published:
  • October 30, 2000
  • Edition:
  • 2000
  • Dimensions:
  • 155x235x17 mm.
  • Weight:
  • 840 g.
Delivery: 2-4 weeks
Expected delivery: December 8, 2024

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.