A Short Introduction to Intuitionistic Logic - University Series in Mathematics - Grigori Mints - Boeken - Springer-Verlag New York Inc. - 9781475773194 - 26 april 2013
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 144,99

Besteld in een afgelegen magazijn

Verwachte levering 31 dec. - 8 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
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     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 26 april 2013
ISBN13 9781475773194
Uitgevers Springer-Verlag New York Inc.
Pagina's 131
Afmetingen 155 × 235 × 8 mm   ·   231 g
Taal en grammatica Engels