A Short Introduction to Intuitionistic Logic - University Series in Mathematics - Grigori Mints - Books - Springer-Verlag New York Inc. - 9781475773194 - April 26, 2013
In case cover and title do not match, the title is correct

Grigori Mints
A Short Introduction to Intuitionistic Logic - University Series in Mathematics Softcover reprint of the original 1st ed. 2002 edition

Price
Íkr 19,659
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 16 - 24

Our customers say:

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

Not rated yet

Also available as:

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

131 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 26, 2013
ISBN13 9781475773194
Publishers Springer-Verlag New York Inc.
Pages 131
Dimensions 155 × 235 × 8 mm   ·   231 g
Language English  

Mere med samme udgiver

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