A Short Introduction to Intuitionistic Logic - University Series in Mathematics - Grigori Mints - Bøger - Springer-Verlag New York Inc. - 9781475773194 - 26. april 2013
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Grigori Mints

Pris
Íkr 24.386,25

Bestilles fra fjernlager

Forventes klar til forsendelse 11. - 15. aug.
Tilføj til din iMusic ønskeseddel
Eller

Findes også som:

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 26. april 2013
ISBN13 9781475773194
Forlag Springer-Verlag New York Inc.
Antal sider 131
Mål 155 × 235 × 8 mm   ·   231 g
Sprog Engelsk