A Short Introduction to Intuitionistic Logic - University Series in Mathematics - Grigori Mints - Kirjat - Springer Science+Business Media - 9780306463945 - tiistai 31. lokakuuta 2000
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
SFr. 120,99

Tilattu etävarastosta

Arvioitu toimitus ti 25. marras - ti 2. 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     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä tiistai 31. lokakuuta 2000
ISBN13 9780306463945
Tuottaja Springer Science+Business Media
Sivujen määrä 131
Mitta 155 × 235 × 17 mm   ·   840 g
Kieli Englanti  

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