Proofs and Algorithms: an Introduction to Logic and Computability - Undergraduate Topics in Computer Science - Gilles Dowek - Książki - Springer London Ltd - 9780857291202 - 14 stycznia 2011
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Gilles Dowek
Proofs and Algorithms: an Introduction to Logic and Computability - Undergraduate Topics in Computer Science

Cena
zł 189,90

Zamówione z odległego magazynu

Przewidywana dostawa 12 - 21 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

This volume provides an introduction to the fundamental concepts of logic. Written for those new to the field, the text covers both elementary topics -- proofs, models, recursive functions, etc. -- as well as more advanced principles.

203 pages, 1, black & white illustrations

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 14 stycznia 2011
ISBN13 9780857291202
Wydawcy Springer London Ltd
Strony 156
Wymiary 157 × 235 × 9 mm   ·   244 g

Więcej od Gilles Dowek

Pokaż wszystko

Zobacz wszystko od Gilles Dowek ( np. Paperback Book )