A Short Introduction to Intuitionistic Logic - University Series in Mathematics - Grigori Mints - Boeken - Springer Science+Business Media - 9780306463945 - 31 oktober 2000
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 126,49

Besteld in een afgelegen magazijn

Verwachte levering 31 dec. - 8 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Ook verkrijgbaar als:

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

131 pages, biography

Media Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 31 oktober 2000
ISBN13 9780306463945
Uitgevers Springer Science+Business Media
Pagina's 131
Afmetingen 242 × 163 × 17 mm   ·   372 g
Taal en grammatica Engels  

Bekijk alles van Grigori Mints ( bijv. Hardcover Book en Paperback Book )