A Short Introduction to Intuitionistic Logic - University Series in Mathematics - Grigori Mints - Książki - Springer Science+Business Media - 9780306463945 - 31 października 2000
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Grigori Mints
A Short Introduction to Intuitionistic Logic - University Series in Mathematics 2000 edition

Cena
zł 531,90

Zamówione z odległego magazynu

Przewidywana dostawa 31 gru - 8 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

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

131 pages, biography

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 31 października 2000
ISBN13 9780306463945
Wydawcy Springer Science+Business Media
Strony 131
Wymiary 242 × 163 × 17 mm   ·   372 g
Język Angielski  

Zobacz wszystko od Grigori Mints ( np. Hardcover Book i Paperback Book )