A Short Introduction to Intuitionistic Logic
Engelstalig
Hardback
Nieuw vanaf 140,99
Koop Tweedehands
Niet tweedehands beschikbaar.
Koop NieuwWeb only
Centraal Magazijn
Adviesprijs
156,20
140,99
De 'adviesprijs' is de prijs die door de fabrikant of leverancier wordt aanbevolen. DeSlegte.com toont deze prijs enkel als referentiekader, zodat je het prijsverschil eenvoudig kunt vergelijken.
Verwachte levertijd: 2-3 weken
Omschrijving
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
Beste alternatieven
Specificaties
- Auteur:
-
Uitgever:
- ISBN:9780306463945
- Bindwijze:Hardback
- Afmetingen:15,5 x 23,5 x 1,4 cm
- Gewicht:385 gram
- Aantal Pagina's:131
- Taal:Engelstalig
- Druk:1e
- Publicatiedatum:Oktober 2000
Recensies
Recensies van onze lezers
Beoordeel dit boek als eerste!
Om een recensie te schrijven moet je zijn.