Boekstra - Mints, Grigori - A Short Introduction to Intuitionistic Logic

A Short Introduction to Intuitionistic Logic

Mints, Grigori

Mints, Grigori - A Short Introduction to Intuitionistic Logic

Mints, Grigori - A Short Introduction to Intuitionistic Logic

Mints, Grigori - A Short Introduction to Intuitionistic Logic

Mints, Grigori - A Short Introduction to Intuitionistic Logic

Description

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

In the shopping cart Delivered in 5 business days. Wishlist Ask a question

In the shopping cart Delivered in 5 business days. Wishlist Ask a question

Free shipping from
€ 19,95 within The Netherlands

Writer: Mints, Grigori
Title: A Short Introduction to Intuitionistic Logic
Publisher: Springer Science+Business Media

Year: 2000
Language: English
Pages: 131
Weight: 385 gr

EAN: 9780306463945
Dimensions: 235 x 155 x 14 mm
Binding format: Gebonden

You will always receive the last edition from us!

Categories

Food and drinks

Regional novels