Tillbaka
Om boken
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
Recensioner
Inga recensioner än
Logga in för att skriva recensionIngen säljer den här boken just nu.
Vill du ha fler boktips?
Prenumerera på Bookiz nyhetsbrev och få lästips, bokrecensioner och litteraturnyheter gratis.