Logic, Construction, Computation - Ontos Mathematical Logic - - Książki - De Gruyter - 9783110324532 - 20 lipca 2012
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Logic, Construction, Computation - Ontos Mathematical Logic

Cena
zł 860,90

Zamówione z odległego magazynu

Przewidywana dostawa 9 - 17 cze

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

Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing. This volume contains 20 articles from experts about developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, and Constructive mathematics.

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 20 lipca 2012
ISBN13 9783110324532
Wydawcy De Gruyter
Strony 542
Wymiary 150 × 220 × 20 mm   ·   826 g
Język Niemiecki  
Redaktor Berger, Ulrich
Redaktor Diener, Hannes
Redaktor Schuster, Peter
Redaktor Seisenberger, Monika

Mere med samme udgiver