Vai jums ir konts?
Piesakieties, lai ātrāk noformētu pasūtījumu.
Iekraušana...
🎁 Nemokamas pristatymas nuo 23 € 🎁
Grigori Mints
Mums ir noliktavā
Nevarēja ielādēt saņemšanas pieejamību
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
Short Introduction to Intuitionistic ...