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

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

Grigori Mints

Hinta
Mex$ 3.271,40

Tilattu etävarastosta

Arvioitu toimitus to - pe 7. - 15. elo

Asiakkaamme sanovat:

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

Löytyy myös muodossa:

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

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 English  

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