Short Introduction to Intuitionistic Logic

Name: Short Introduction to Intuitionistic Logic
Author: Grigori Mints

Grigori Mints

Knihu koupíte v 1 e-shopu

Bookshop.cz

3 613 Kč

Není skladem

Do obchodu

a 1 další varianta

Krátký popis

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.

Výběr knih vydavatele Springer Science+Business Media

Archaeology of Colonial Identity

Cena od 3 300 Kč

Zobrazit všechny knihy vydavatele Springer Science+Business Media

Naše tipy

Cena od 223 Kč

Cena od 197 Kč

Cena od 384 Kč

Cena od 318 Kč