Košík
zboží
(prázdné)
Kontakt
Účet
MEGA VÝHODNÉ
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
číst celé
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
schovat popis- Nakladatel: Springer Science+Business Media
- Kód:
- Rok vydání: 2000
- Jazyk: Angličtina
- Vazba: Pevná
- Počet stran: 131
Recenze