A Short Introduction to Intuitionistic Logic (Bog, Paperback / softback, Engelsk) af Grigori Mints
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Filosofi: logik
  6. Matematik til informatikfag
  7. Matematikkens fundament
  8. A Short Introduction to Intuitionistic Logic

A Short Introduction to Intuitionistic Logic

(Bog, Paperback / softback, Engelsk)
Forfatter: Grigori Mints
A Short Introduction to Intuitionistic Logic
Forlag: Springer-Verlag New York Inc.

Bemærk: Kan ikke 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

Filosofi: logik Matematikkens fundament Matematik til informatikfag 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-Verlag New York Inc.
Forfatter Grigori Mints
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave Softcover reprint of the original 1st ed. 2002
Udgivelsesdato 26-04-2013
Første udgivelsesår 2013
Serie University Series in Mathematics
Illustrationer IX, 131 p.
Originalsprog United States
Sideantal 131
Indbinding Paperback / softback
Forlag Springer-Verlag New York Inc.
Sideoplysninger 131 pages, IX, 131 p.
Mål 235 x 155
ISBN-13 / EAN-13 9781475773194