A Short Introduction to Intuitionistic Logic (Bog, Hardback, Engelsk) af Grigori Mints
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. A Short Introduction to Intuitionistic Logic

A Short Introduction to Intuitionistic Logic

(Bog, Hardback, Engelsk)
Forfatter: Grigori Mints
A Short Introduction to Intuitionistic Logic
Forlag: Springer Science+Business Media

Bemærk: Kan leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Science+Business Media
Forfatter Grigori Mints
Type Bog
Format Hardback
Sprog Engelsk
Udgave 2000 ed.
Udgivelsesdato 31-10-2000
Første udgivelsesår 2000
Serie University Series in Mathematics
Illustrationer IX, 131 p.
Originalsprog United States
Sideantal 131
Indbinding Hardback
Forlag Springer Science+Business Media
Sideoplysninger 131 pages, IX, 131 p.
Mål 163 x 242 x 17
ISBN-13 / EAN-13 9780306463945