10% OFF

Short Introduction To Intuitionistic Logic eBook

by Grigori Mints
language: english
Publisher: SPRINGER US, December of 2005 ‧
162,98€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.

Short Introduction To Intuitionistic Logic

by Grigori Mints

Property Description
ISBN: 9780306469756
Publisher: SPRINGER US
Release Date: December of 2005
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Collection: University Series In Mathematics
Categories: eBooks in English > Science > Mathematics
EAN: 9780306469756