A Short Introduction to Intuitionistic Logic - University Series in Mathematics - Grigori Mints - Books - Springer Science+Business Media - 9780306463945 - October 31, 2000
In case cover and title do not match, the title is correct

A Short Introduction to Intuitionistic Logic - University Series in Mathematics 2000 edition

Grigori Mints

Price
SEK 1,439
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 7 - 19

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

A Short Introduction to Intuitionistic Logic - University Series in Mathematics 2000 edition

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

131 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released October 31, 2000
ISBN13 9780306463945
Publishers Springer Science+Business Media
Pages 131
Dimensions 155 × 235 × 17 mm   ·   840 g
Language English  

See all of Grigori Mints ( e.g. Hardcover Book and Paperback Book )