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

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

Grigori Mints

Hinta
Kč 3.462

Tilattu etävarastosta

Arvioitu toimitus ke - to 6. - 14. 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 2000 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     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 English  

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