A Short Introduction to Intuitionistic Logic - University Series in Mathematics - Grigori Mints - Książki - Springer-Verlag New York Inc. - 9781475773194 - 26 kwietnia 2013
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

A Short Introduction to Intuitionistic Logic - University Series in Mathematics Softcover reprint of the original 1st ed. 2002 edition

Cena
zł 605,90

Zamówione z odległego magazynu

Przewidywana dostawa 1 - 9 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia
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     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 26 kwietnia 2013
ISBN13 9781475773194
Wydawcy Springer-Verlag New York Inc.
Strony 131
Wymiary 155 × 235 × 8 mm   ·   231 g
Język Angielski