A Short Introduction to Intuitionistic Logic - University Series in Mathematics - Grigori Mints - Bøker - Springer Science+Business Media - 9780306463945 - 31. oktober 2000
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Grigori Mints

Pris
HK$ 1.147

Bestillingsvarer

Forventes levert 27. nov - 5. 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     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 31. oktober 2000
ISBN13 9780306463945
Utgivere Springer Science+Business Media
Antall sider 131
Mål 155 × 235 × 17 mm   ·   840 g
Språk Engelsk  

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