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ł 886,90

Zamówione z odległego magazynu

Przewidywana dostawa 28 paź - 5 lis
Dodaj do swojej listy życzeń iMusic

Jeszcze nie oceniono

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

Więcej od tego samego wydawcy