A Short Introduction to Intuitionistic Logic - University Series in Mathematics - Grigori Mints - Kirjat - Springer-Verlag New York Inc. - 9781475773194 - perjantai 26. huhtikuuta 2013
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
SFr. 138,99

Tilattu etävarastosta

Arvioitu toimitus ke - to 3. - 11. joulu
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Löytyy myös muodossa:

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

131 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä perjantai 26. huhtikuuta 2013
ISBN13 9781475773194
Tuottaja Springer-Verlag New York Inc.
Sivujen määrä 131
Mitta 155 × 235 × 8 mm   ·   231 g
Kieli Englanti  

Katso kaikki joka sisältää Grigori Mints ( Esim. Paperback Book Ja Hardcover Book )