A Short Introduction to Intuitionistic Logic - University Series in Mathematics - Grigori Mints - Bøker - Springer-Verlag New York Inc. - 9781475773194 - 26. april 2013
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
₪ 507

Bestillingsvarer

Forventes levert 2. - 10. des
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Finnes også som:

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

131 pages, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 26. april 2013
ISBN13 9781475773194
Utgivere Springer-Verlag New York Inc.
Antall sider 131
Mål 155 × 235 × 8 mm   ·   231 g
Språk Engelsk  

Se alt med Grigori Mints ( f.eks. Innbunden bok og Pocketbok )